A simple model construction for the Calculus of Constructions

Fulltext present in this item

Fulltext: 28269.pdf

Format: PDF

Description: preprint version

Title:	A simple model construction for the Calculus of Constructions
Author(s):	Stefanova, M.; Geuvers, H.
Publication year:	1996
Source:	Lecture Notes in Computer Science, vol. 1158, (1996), pp. 249-264
ISSN:	0302-9743
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/28269
Display more details
Organization:	Foundations
Journal title:	Lecture Notes in Computer Science
Volume:	vol. 1158
Page start:	p. 249
Page end:	p. 264
Languages used:	en

Academic publications [167506]
Academic output Radboud University
Open Access publications [48857]
Freely accessible full text publications
Electronic publications [76276]
Freely accessible full text publications plus those not yet available due to embargo
Faculty of Science [26171]