Peter Dybjer
发表
Peter Dybjer,
1983,
ADT.
Peter Dybjer,
P. Dybjer,
1985,
STACS.
Peter Dybjer,
P. Dybjer,
1997,
Theor. Comput. Sci..
Peter Dybjer,
Philip J. Scott,
Djordje Cubric,
1998,
Math. Struct. Comput. Sci..
Peter Dybjer,
P. Dybjer,
1987,
ICALP.
Jan M. Smith,
Peter Dybjer,
Bengt Nordström,
1995
.
Peter Dybjer,
Andrzej Filinski,
Andrzej Filinski,
2000,
APPSEM.
Andrew M. Pitts,
Peter Dybjer,
Eugenio Moggi,
1997
.
Peter Dybjer,
Ilya Beylin,
P. Dybjer,
1995,
TYPES.
Nick Benton,
John Hughes,
Peter Dybjer,
2003
.
Peter Dybjer,
Erik Palmgren,
P. Dybjer,
2016
.
Ulf Norell,
Peter Dybjer,
Ana Bove,
2009,
TPHOLs.
Thierry Coquand,
Jan M. Smith,
Peter Dybjer,
2002,
Lecture Notes in Computer Science.
Thierry Coquand,
Peter Dybjer,
Jan M. Smith,
1994
.
Peter Dybjer,
P. Dybjer,
1985,
FPCA.
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,
Herbert P. Sander,
P. Dybjer,
1988,
Formal Aspects of Computing.
Peter Dybjer,
Herbert P. Sander,
1988
.
Peter Dybjer,
Denis Kuperberg,
2012,
Ann. Pure Appl. Log..
Peter Dybjer,
Pierre Clairambault,
2015,
FoSSaCS.
Peter Dybjer,
Makoto Takeyama,
Qiao Haiyan,
2003,
TPHOLs.
João Saraiva,
Gilles Barthe,
Peter Dybjer,
2000
.
Klaus Aehlig,
Peter Dybjer,
Andreas Abel,
2007,
MFPS.
Peter Dybjer,
Erik Palmgren,
Sten Lindström,
2012,
Epistemology versus Ontology.
Peter Dybjer,
P. Dybjer,
1984,
ICALP.
Peter Dybjer,
P. Dybjer,
1991,
Inf. Comput..
Peter Dybjer,
Ana Bove,
P. Dybjer,
2009,
LerNet ALFA Summer School.
Martin Hofmann,
Thorsten Altenkirch,
Peter Dybjer,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Thierry Coquand,
Peter Dybjer,
Jan M. Smith,
2000
.
Peter Dybjer,
Pierre Clairambault,
2014,
Math. Struct. Comput. Sci..
Thierry Coquand,
Peter Dybjer,
Andreas Abel,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Peter Dybjer,
P. Dybjer,
1995,
TYPES.
Peter Dybjer,
P. Dybjer,
1998
.
Peter Dybjer,
Makoto Takeyama,
Qiao Haiyan,
2004,
ICTAC.
Peter Dybjer,
Alexandre Buisse,
P. Dybjer,
2007,
LFMTP@CADE.
Peter Dybjer,
Hugo Moeneclaey,
P. Dybjer,
2018,
MFPS.
José Espírito Santo,
Ralph Matthes,
Luís Pinto,
2019,
TYPES.
Peter Dybjer,
Ana Bove,
Andrés Sicard-Ramírez,
2012,
FoSSaCS.
Peter Dybjer,
Makoto Takeyama,
Qiao Haiyan,
2003,
Third International Conference on Quality Software, 2003. Proceedings..
Peter Dybjer,
Anton Setzer,
P. Dybjer,
2003,
Ann. Pure Appl. Log..
Peter Dybjer,
1984,
Theor. Comput. Sci..
Thierry Coquand,
Peter Dybjer,
Andreas Abel,
2008,
MPC.
Thierry Coquand,
Peter Dybjer,
Marc Bezem,
2020,
Mathematical Structures in Computer Science.
Andrew M. Pitts,
Peter Dybjer,
1997
.
Andrew M. Pitts,
Peter Dybjer,
David E. Rydeheard,
1987,
Lecture Notes in Computer Science.
Peter Dybjer,
Makoto Takeyama,
Qiao Haiyan,
2004,
Inf. Softw. Technol..
Peter Dybjer,
Pierre Clairambault,
2011,
TLCA.
Peter Dybjer,
Pierre Clairambault,
Simon Castellan,
2019,
ArXiv.
Peter Dybjer,
Sten Agerholm,
Ilya Beylin,
1996,
TPHOLs.
Peter Dybjer,
P. Dybjer,
2005,
Formal Aspects of Computing.
Peter Dybjer,
Anton Setzer,
P. Dybjer,
1999,
TLCA.
Thierry Coquand,
Peter Dybjer,
T. Coquand,
1994,
FSTTCS.
Andrew M. Pitts,
Peter Dybjer,
1997
.
Thierry Coquand,
Peter Dybjer,
Andreas Abel,
2008,
FLOPS.
Peter Dybjer,
Wouter Swierstra,
2017,
J. Funct. Program..
Peter Dybjer,
Patrik Jansson,
Marcin Benke,
2003,
Nord. J. Comput..
Shin-Cheng Mu,
Peter Dybjer,
Yoshiki Kinoshita,
2011,
NII Shonan Meet. Rep..
Thierry Coquand,
Peter Dybjer,
T. Coquand,
1997,
Mathematical Structures in Computer Science.
Peter Dybjer,
P. Dybjer,
2012,
Epistemology versus Ontology.
Peter Dybjer,
P. Dybjer,
1985,
CTCS.
Gilles Barthe,
Peter Thiemann,
Peter Dybjer,
2001
.
Jan M. Smith,
Peter Dybjer,
Bengt Nordström,
1995
.
Peter Dybjer,
Alexandre Buisse,
2008,
MFPS.
Peter Dybjer,
Pierre Clairambault,
Simon Castellan,
2015,
TLCA.
Peter Dybjer,
P. Dybjer,
2000,
Journal of Symbolic Logic.
Peter Dybjer,
Anton Setzer,
2006,
J. Log. Algebraic Methods Program..
Peter Dybjer,
P. Dybjer,
1990,
Sci. Comput. Program..
Gilles Barthe,
Peter Thiemann,
Peter Dybjer,
2004,
J. Funct. Program..
Peter Dybjer,
2010
.
Peter Dybjer,
David E. Rydeheard,
Andrew M. Pitts,
1989
.
Andrew M. Pitts,
Peter Dybjer,
1997
.
Peter Dybjer,
Ilya Beylin,
1996
.
Peter Dybjer,
Pierre Clairambault,
Simon Castellan,
2017
.
Thierry Coquand,
Peter Dybjer,
Andreas Abel,
2008
.
Peter Dybjer,
1994
.
Olivier Danvy,
Peter Dybjer,
1999
.
Peter Dybjer,
Hugo Moeneclaey,
P. Dybjer,
2016
.