Impredicative strong existential equivalent to type : type

Impredicative strong existential equivalent to type : type

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hook, James G. (VerfasserIn), Howe, Douglas J. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Ithaca, New York 1986
Schriftenreihe:	Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 760
Schlagworte:	Lambda calculus Proof theory
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Derivation and computation taking the Curry-Howard correspondence seriously
von: Simmons, Harold 1942-
Veröffentlicht: (2000)

First and second order lambda calculi with recursive types
von: Mendler, N. P.
Veröffentlicht: (1986)

Explicit substitutions
Veröffentlicht: (1990)

Type systems for programming languages
von: Mitchell, John C.
Veröffentlicht: (1989)

Type classes and overloading resolution via order-sorted unification
von: Nipkow, Tobias 1958-, et al.
Veröffentlicht: (1990)

Programming in higher-order typed lambda-calculi
von: Pierce, Benjamin, et al.
Veröffentlicht: (1989)

A complete transformation system for polymorphic higher-order unification
von: Hustadt, Ullrich
Veröffentlicht: (1991)

Expressing mobility in process algebras first-order and higher-order paradigms
von: Sangiorgi, Davide
Veröffentlicht: (1993)

An introduction to fibrations, topos theory, the effective topos and modest sets
von: Phoa, Wesley
Veröffentlicht: (1992)

Collapsing partial combinatory algebras
von: Bethke, Inge, et al.
Veröffentlicht: (1995)

The complexity of resolution procedures for theorem proving in the propositional calculus
von: Galil, Zvi
Veröffentlicht: (1975)

Adjoint rewriting
von: Ghani, Neil
Veröffentlicht: (1995)

From term models to domains
von: Phoa, Wesley
Veröffentlicht: (1992)

Termination of higher-order rewrite systems
von: Pol, Jan Cornelis van der
Veröffentlicht: (1996)

Typed lambda calculi and applications International Conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16-18, 1993, Utrecht, The Netherlands ; proceedings
Veröffentlicht: (1993)

The lambda calculus its syntax and semantics
von: Barendregt, Hendrik P. 1947-
Veröffentlicht: (1981)

Design and implementation of a simple typed language based on the Lambda-calculus
von: Fairbairn, Jon
Veröffentlicht: (1985)

On local proof restrictions for strong theories
von: Jensen, Don
Veröffentlicht: (1973)

Programming with intersection types and bounded polymorphism
von: Pierce, Benjamin C.
Veröffentlicht: (1991)

Lambda-calculus and combinators an introduction
von: Hindley, James Roger, et al.
Veröffentlicht: (2008)

Analysis with an introduction to proof
von: Lay, Steven R.
Veröffentlicht: (1990)

Lambda-calculus and combinators, an introduction
von: Hindley, J. Roger
Veröffentlicht: (2008)

Lambda Calculus with Types
von: Barendregt, Hendrik P. 1947-, et al.
Veröffentlicht: (2013)

An introduction to functional programming through Lambda calculus
von: Michaelson, Greg
Veröffentlicht: (1989)

Typed lambda calculi and applications 4th international conference, TLCA '99, L'Aquila, Italy, April 7 - 9, 1999 ; proceedings
Veröffentlicht: (1999)

Proof theory of impredicative subsystems of analysis
von: Buchholz, Wilfried, et al.
Veröffentlicht: (1988)

Mathematical analysis and proof
von: Stirling, David S. G.
Veröffentlicht: (2009)

Abstract computing machines a Lambda-calculus perspective
von: Kluge, Werner
Veröffentlicht: (2005)

An introduction to mathematical proofs
von: Loehr, Nicholas A.
Veröffentlicht: (2020)

Lambda-calculus, types and models
von: Krivine, Jean-Louis
Veröffentlicht: (1993)

Isomorphisms of types from lambda-calculus to information retrieval and language design
von: Di Cosmo, Roberto 1963-
Veröffentlicht: (1995)

Sets, models and proofs
von: Moerdijk, Ieke 1958-, et al.
Veröffentlicht: (2018)

Ways of proof theory
Veröffentlicht: (2010)

Lambda-calcul types et modèles
von: Krivine, Jean-Louis
Veröffentlicht: (1990)

Lectures on the Curry-Howard isomorphism
von: Sørensen, Morten Heine, et al.
Veröffentlicht: (2006)

Hinweis für eine eigenständige Existenz der Subgruppe IV humaner Immunglobulin-Leichtketten vom Lambda-Typ durch Aminosäuresequenzanalyse
von: Zirkel, Christian 1967-
Veröffentlicht: (1998)

Extraction of redundancy-free programs from constructive natural deduction proofs
von: Takayama, Yukihide
Veröffentlicht: (1989)

Consequence-finding based on ordered linear resolution
von: Inoue, Katsumi
Veröffentlicht: (1991)

The semantics of evidence
von: Constable, Robert Lee 1952-
Veröffentlicht: (1985)

A programming logic based on type theory
von: Poll, Erik
Veröffentlicht: (1994)