Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

(FIVE YEARS 0)

9780387973753, 9780387348087

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040259 ◽

1990 ◽

pp. 209-228 ◽

Cited By ~ 29

Author(s):

Frank Pfenning ◽

Christine Paulin-Mohring

Keyword(s):

Calculus Of Constructions