Skip to content
cs-conference-ranking.org

Peter Dybjer

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

7

Active years

1984–2015

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2015FOSSACSGame Semantics and Normalization by Evaluation.Pierre Clairambault, Peter Dybjer
2012FOSSACSCombining Interactive and Automatic Reasoning in First Order Theories of Functional Programs.Ana Bove, Peter Dybjer, Andrs Sicard-Ramrez
2008FLOPSOn the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.Andreas Abel, Thierry Coquand, Peter Dybjer
2008MPCVerifying a Semantic beta-eta-Conversion Test for Martin-Lf Type Theory.Andreas Abel, Thierry Coquand, Peter Dybjer
2007LICSNormalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements.Andreas Abel, Thierry Coquand, Peter Dybjer
2004ICTACRandom Generators for Dependent Types.Peter Dybjer, Qiao Haiyan, Makoto Takeyama
2001LICSNormalization by Evaluation for Typed Lambda Calculus with Coproducts.Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott
1987ICALPInverse Image Analysis.Peter Dybjer
1985STACSUsing Domain Algebras to Prove the Correctness of a Compiler.Peter Dybjer
1984ICALPDomain Algebras.Peter Dybjer