The Formal System \lambda \Upsilon P

Guidi, Ferruccio (2017) The Formal System \lambda \Upsilon P. [Preprint]
Full text available as:
[thumbnail of full text]
Preview
 Text(pdf) (full text)
License: Creative Commons: Attribution-Noncommercial 3.0 (CC BY-NC 3.0)
Download (83kB) | Preview

Abstract

We propose to extend the Edinburgh Logical Framework with Automath's unified abstraction.

Abstract
Document type
Preprint
Creators
CreatorsAffiliationORCID
Guidi, FerruccioDISI, Università di Bologna0000-0003-3174-3248
Keywords
typed lambda calculus, logical framework, Automath, AUT-QE, unified abstraction, higher-order schematic quantifier, propositions as types, Grundlagen der Analysis
Subjects
Area 01 - Scienze matematiche e informatiche > INF/01 Informatica
Area 01 - Scienze matematiche e informatiche > MAT/01 Logica matematica
DOI
10.6092/unibo/amsacta/5754
Deposit date
04 Jan 2018 10:34
Last modified
04 Jan 2018 10:34
URI
https://amsacta.unibo.it/id/eprint/5754

Other metadata

Downloads

Downloads

View more statistics

Staff only: View the document

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^