P. Dybjer
发表
P. Dybjer,
1991
.
Thierry Coquand,
Peter Dybjer,
Jan M. Smith,
2000
.
T. Coquand,
M. Bezem,
P. Dybjer,
2022
.
P. Dybjer,
E. Ax,
2005
.
Andrew M. Pitts,
Peter Dybjer,
David E. Rydeheard,
1987,
Lecture Notes in Computer Science.
Ulf Norell,
Peter Dybjer,
Ana Bove,
2009,
TPHOLs.
Peter Dybjer,
P. Dybjer,
1985,
STACS.
Peter Dybjer,
P. Dybjer,
1984,
ICALP.
Peter Dybjer,
Erik Palmgren,
P. Dybjer,
2016
.
Peter Dybjer,
Ana Bove,
P. Dybjer,
2009,
LerNet ALFA Summer School.
Peter Dybjer,
P. Dybjer,
2005,
Formal Aspects of Computing.
Peter Dybjer,
P. Dybjer,
2012,
Epistemology versus Ontology.
Andrew M. Pitts,
Peter Dybjer,
Eugenio Moggi,
1997
.
Peter Dybjer,
P. Dybjer,
1987,
ICALP.
Peter Dybjer,
Anton Setzer,
P. Dybjer,
2003,
Ann. Pure Appl. Log..
Thierry Coquand,
Peter Dybjer,
Andreas Abel,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Peter Dybjer,
P. Dybjer,
2000,
Journal of Symbolic Logic.
Peter Dybjer,
P. Dybjer,
1991,
Inf. Comput..
Peter Dybjer,
P. Dybjer,
1995,
TYPES.
Peter Dybjer,
Herbert P. Sander,
P. Dybjer,
1988,
Formal Aspects of Computing.
Peter Dybjer,
Pierre Clairambault,
Simon Castellan,
2019,
ArXiv.
Thierry Coquand,
Peter Dybjer,
T. Coquand,
1997,
Mathematical Structures in Computer Science.
João Saraiva,
Gilles Barthe,
Peter Dybjer,
2000
.
Peter Dybjer,
Andrzej Filinski,
Andrzej Filinski,
2000,
APPSEM.
Peter Dybjer,
P. Dybjer,
1997,
Theor. Comput. Sci..
Thierry Coquand,
Peter Dybjer,
Marc Bezem,
2020,
Mathematical Structures in Computer Science.
Peter Dybjer,
Hugo Moeneclaey,
P. Dybjer,
2016
.
Peter Dybjer,
Patrik Jansson,
Marcin Benke,
2003,
Nord. J. Comput..
Peter Dybjer,
Makoto Takeyama,
Qiao Haiyan,
2003,
Third International Conference on Quality Software, 2003. Proceedings..
Peter Dybjer,
P. Dybjer,
1985,
CTCS.
Peter Dybjer,
Hugo Moeneclaey,
P. Dybjer,
2018,
MFPS.
Peter Dybjer,
Ana Bove,
Andrés Sicard-Ramírez,
2009,
PLPV '09.
Peter Dybjer,
Anton Setzer,
P. Dybjer,
2001,
J. Log. Algebraic Methods Program..
Peter Dybjer,
Anton Setzer,
P. Dybjer,
1999,
TLCA.
Peter Dybjer,
Ilya Beylin,
P. Dybjer,
1995,
TYPES.
Peter Dybjer,
Alexandre Buisse,
P. Dybjer,
2007,
LFMTP@CADE.
Peter Dybjer,
P. Dybjer,
1998
.
Peter Dybjer,
Ana Bove,
Andrés Sicard-Ramírez,
2012,
FoSSaCS.
Peter Dybjer,
P. Dybjer,
1990,
Sci. Comput. Program..
Peter Dybjer,
P. Dybjer,
1985,
FPCA.
Thierry Coquand,
Peter Dybjer,
T. Coquand,
1994,
FSTTCS.
Martin Hofmann,
Thorsten Altenkirch,
Peter Dybjer,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.