Adequate encodings of logical systems in UTT
Carregant...
Fitxers
El pots comprar en digital a:
El pots comprar en paper a:
Títol de la revista
ISSN de la revista
Títol del volum
Autors
Col·laborador
Editor
Tribunal avaluador
Realitzat a/amb
Tipus de document
Report de recerca
Data publicació
Editor
Condicions d'accés
Accés obert
item.page.rightslicense
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització de la persona titular dels drets
Publicacions relacionades
Datasets relacionats
Projecte CCD
Abstract
In this paper, we present an existing and formalized type theory (UTT) as a logical framework. We compare the resulting framework with LF and give the representation of two significant type systems in the framework: the typed lambda calculus which is closely related to higher-order logic and a linear type system which is not possible to encode in LF.
Descripció
Persones/entitats
Document relacionat
Versió de
Citació
Mylonakis, N. "Adequate encodings of logical systems in UTT". 2003.
Ajut
Forma part
R00-18