- A Dependently Typed Linear pi-Calculus in Agda Luca Ciccone Luca Padovani Tue 12 January 2021
- Type Theory in Type Theory Using Quotient Inductive Types Thorsten Altenkirch Ambrus Kaposi Fri 25 September 2020
- Pattern Matching without K Jesper Cockx Dominique Devriese Frank Piessens Mon 14 September 2020
- Programming language foundations in Agda Wen Kokke Jeremy G. Siek Philip Wadler Tue 09 June 2020
- Dependently Typed Programming with Finite Sets Denis Firsov Tarmo Uustalu Sat 21 September 2019
- Formalising the Completeness Theorem of Classical Propositional Logic in Agda (Proof Pearl) Leran Cai Ambrus Kaposi Thorsten Altenkirch Mon 29 April 2019
- Dependently Typed Metaprogramming (in Agda) Conor McBride Sun 10 March 2019
- What Sequential Games, the Tychonoff Theorem and the Double-negation Shift Have in Common Martín Escardó Paulo Oliva Tue 28 March 2017
- Dependently Typed Programming in Agda Ulf Norell James Chapman Tue 11 June 2013
Library Size: 13G (9 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
