Fulltext present in this item

Thumbnail
Fulltext: 72702.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: A logical framework with explicit conversions
Author(s): Geuvers, J.H. ; Wiedijk, F.
Publication year: 2008
In: Electronic Notes in Theoretical Computer Science, (2008)Schürmann, Carsten (ed.), Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland, pp. 33-47
Publisher: Amsterdam : Elsevier
ISSN: 1571-0661
Annotation: Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland, 5 juli 2004
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/72702   http://hdl.handle.net/2066/72702

Display more details
Editor(s): Schürmann, Carsten
Subject: Data Science
Organization: Software Science
Foundations
Journal title:
Electronic Notes in Theoretical Computer Science
Book title: Schürmann, Carsten (ed.), Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland
Page start: p. 33
Page end: p. 47

This item appears in the following Collection(s)

Browse

Statistics