Adequate encodings of logical systems in UTT

dc.contributor.author	Mylonakis Pascual, Nicolás
dc.contributor.other	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned	2016-11-09T10:05:23Z
dc.date.available	2016-11-09T10:05:23Z
dc.date.issued	2003-03-02
dc.description.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.
dc.description.version	Postprint (published version)
dc.format.extent	26 p.
dc.identifier.citation	Mylonakis, N. "Adequate encodings of logical systems in UTT". 2003.
dc.identifier.uri	https://hdl.handle.net/2117/95872
dc.language.iso	eng
dc.relation.ispartofseries	R00-18
dc.rights.access	Open Access
dc.subject	Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica
dc.subject.other	UTT
dc.subject.other	LF
dc.subject.other	Logical systems
dc.subject.other	Frameworks
dc.title	Adequate encodings of logical systems in UTT
dc.type	External research report
dspace.entity.type	Publication
local.citation.author	Mylonakis, N.
local.identifier.drac	19258208

Fitxers

Mostrant 1 - 1 de 1