deutsch
english
Publication View
17737086
Types for Proofs and Programs: international workshop TYPES '93, Springer LNCS 806 (1994)
Nipkow, T.
,
Barendregt, H.P.
Publication details
Repository
Repository Radboud Universiteit Nijmegen (Netherlands)
Type
Book (monograph)
Language
Englisch