The Formal System \lambda \Upsilon P

Guidi, Ferruccio (2017) The Formal System \lambda \Upsilon P. [Preprint]
Full text available as:
[img]
Preview
Text(pdf) (full text)
License: Creative Commons Attribution Non-commercial

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
DOI
Deposit date
04 Jan 2018 10:34
Last modified
04 Jan 2018 10:34
URI

Other metadata

Downloads

Downloads

Staff only: View the document

^