Pure type systems with de Bruijn indices

Nowadays, type theory has many applications and is used in many different disciplines. Within computer science, logic and mathematics there are many different type systems. They serve several purposes and are formulated in various ways. A general framework called Pure Type Systems (PTSs) has been in...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Kamareddine, F., Ríos, A.
Formato: JOUR
Materias:
Computer programming languages
Computer science
Formal logic
Mathematical techniques
Theorem proving
Automath systems
Dependent theory
Edinburgh logical frameworks
Polymorphic theory
Pure type systems
System theory
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_00104620_v45_n2_p187_Kamareddine
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares