The Formal System \lambda \Upsilon P

Guidi, Ferruccio (2017) The Formal System \lambda \Upsilon P. [Preprint]
Full text disponibile come:
[img]
Anteprima
Documento di testo(pdf) (full text)
Licenza: Creative Commons Attribution Non-commercial (CC BY-NC 3.0)

Download (83kB) | Anteprima

Abstract

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

Abstract
Tipologia del documento
Preprint
Autori
AutoreAffiliazioneORCID
Guidi, FerruccioDISI, Università di Bologna0000-0003-3174-3248
Parole chiave
typed lambda calculus, logical framework, Automath, AUT-QE, unified abstraction, higher-order schematic quantifier, propositions as types, Grundlagen der Analysis
Settori scientifico-disciplinari
DOI
Data di deposito
04 Gen 2018 10:34
Ultima modifica
04 Gen 2018 10:34
URI

Altri metadati

Statistica sui download

Statistica sui download

Gestione del documento: Visualizza il documento

^