Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Adequate encodings of logical systems in UTT

Autor
Mylonakis, N.
Tipus d'activitat
Document cientificotècnic
Data
2003-03-02
Codi
R00-18
Repositori
http://hdl.handle.net/2117/95872 Obrir en finestra nova
Resum
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.
Citació
Mylonakis, N. "Adequate encodings of logical systems in UTT". 2003.
Paraules clau
Frameworks, LF, Logical systems, UTT

Participants

Arxius