Found 8 Documents (Results 1–8)
Homotopical patch theory. (English) Zbl 1420.68060
Big-step normalisation. (English) Zbl 1191.68153
MSC:
68N18
Hoare type theory, polymorphism and separation. (English) Zbl 1155.68354
MSC:
68N18
Filter Results by …
all
top 5
Author
- Altenkirch, Thorsten (1)
- Angiuli, Carlo (1)
- Birkedal, Lars (1)
- Borgström, Johannes (1)
- Botta, Nicola (1)
- Brede, Nuria (1)
- Chapman, James T. E. (1)
- Cockx, Jesper (1)
- Devriese, Dominique (1)
- Fridlender, Daniel (1)
- Gordon, Andrew D. (1)
- Harper, Robert (1)
- Jansson, Patrik (1)
- Licata, Daniel R. (1)
- Morehouse, Edward (1)
- Morrisett, Greg (1)
- Nanevski, Aleksandar (1)
- Pagano, Miguel (1)
- Piessens, Frank (1)
- Pitts, Andrew M. (1)
- Pucella, Riccardo (1)
- Richter, Tim (1)
all
top 5
Volume
- 31 (2021) (1)
- 26 (2016) (2)
- 25 (2015) (1)
- 21, No. 3 (2011) (1)
- 21, No. 2 (2011) (1)
- 19, No. 3-4 (2009) (1)
- 18, No. 5-6 (2008) (1)