The Formal System \lambda \Upsilon P

Guidi, Ferruccio (2017) The Formal System \lambda \Upsilon P. [Preprint]
Full text disponibile come:
[thumbnail of full text]
Anteprima
 Documento di testo(pdf) (full text)
Licenza: Creative Commons Attribution Non-commercial 3.0 (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
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
Data di deposito
04 Gen 2018 10:34
Ultima modifica
04 Gen 2018 10:34
URI
https://amsacta.unibo.it/id/eprint/5754

Altri metadati

Statistica sui download

Statistica sui download

Vedi altre statistiche

Gestione del documento: Visualizza il documento

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

^