Proof Systems for Retracts in Simply Typed Lambda Calculus

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-39212-2_36
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Simply Typed Λ-Calculus

1993English

A Typed Lambda Calculus of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types

Studies in Logic and the Foundations of Mathematics
1994English

Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2015English

Complexity of Normalization in the Pure Typed Lambda – Calculus

Studies in Logic and the Foundations of Mathematics
1982English

Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed Λ-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Solvability in Resource Lambda-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Lambda Calculus for Quantum Computation

SIAM Journal on Computing
MathematicsComputer Science
2004English

Gödelisation in the Lambda-Calculus

BRICS Report Series
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy