Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Dybjer, Peter"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Random generators for dependent types
Peter Dybjer
,
Qiao Haiyan
,
Makoto Takeyama
Lecture Notes in Computer Science
3407
, 2005, pp. 341-355
Representing inductively defined sets by wellorderings in Martin-Löf's type theory
Peter Dybjer
Theoretical Computer Science
176
(1-2), 1997, pp. 329-335
Inductive definitions and type theory - an introduction (preliminary version)
Thierry Coquand
,
Peter Dybjer
Lecture Notes in Computer Science
880
, 1994, pp. 60-76
Inverse image analysis generalises strictness analysis
Peter Dybjer
Information and Computation
90
(2), 1991, February, pp. 194-216
Using domain algebras to prove the correctness of a compiler
Peter Dybjer
Lecture Notes in Computer Science
182
, 1985, pp. 98-108
Some results on the deductive structure of join dependencies
Peter Dybjer
Proceedings of the 2nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1982 (Bangalore, India, December 13-15, 1981)
, 1982, pp. 55-81