General Terms


Download Links

by Ana Bove , Peter Dybjer , Andrés Sicard-ramírez

Active Bibliography

Handbook of the History of Logic. Volume 6 – Andrea Cantini, Dov M. Gabbay, John Woods (editors
Formal Neighbourhoods, Combinatory Böhm Trees, and Untyped Normalization by Evaluation – Peter Dybjer, Denis Kuperberg - 2008
1 Universes over Frege Structures – Reinhard Kahle - 1996
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
11 P.: Dependent types at work – Ana Bove, Peter Dybjer - 2009
29 General recursion via coinductive types – Venanzio Capretta
Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview – unknown authors - 2011
1 HALO: Haskell to Logic through Denotational Semantics – Dimitrios Vytiniotis, Simon Peyton Jones, Dan Rosén, Koen Claessen
3 G.: Integrating an automated theorem prover into Agda – Simon Foster, Georg Struth - 2011
Under consideration for publication in J. Functional Programming 1 Algebra of Programming in Agda Dependent Types for Relational Program Derivation – Shin-cheng Mu, Patrik Jansson - 2009
17 Toward a Verified Relational Database Management System ∗ – Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
Stop when you are Almost-Full Adventures in constructive termination – Dimitrios Vytiniotis, Thierry Coquand
2 Weak theories of truth and explicit mathematics. Submitted for publication. 19 – Sebastian Eberhard, Thomas Strahm
24 Fast and Loose Reasoning is Morally Correct – Nils Anders Danielsson, Nils Anders, Danielsson John Hughes, Patrik Jansson - 2006
28 Induction-recursion and initial algebras – Peter Dybjer, Anton Setzer - 2003
2 Nominalization, Predication and Type Containment – Fairouz Kamareddine, Ewan Klein, Buccleuch Place - 1993
4 Outrageous but meaningful coincidences: Dependent type-safe syntax and evaluation – Conor Mcbride - 2010
20 The Gentle Art of Levitation – James Chapman, Pierre-évariste Dagand, Conor Mcbride, Peter Morris
1 A Categorical Treatment of Ornaments – Pierre-évariste Dagand, Conor Mcbride