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

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-21691-6_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Simply Typed Λ-Calculus

1993English

Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2015English

Proof Systems for Retracts in Simply Typed Lambda Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Defining Λ-Typed Λ-Calculi by Axiomatizing the Typing Relation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Representation and Duality of the Untyped Λ-Calculus in Nominal Lattice and Topological Semantics, With a Proof of Topological Completeness

Annals of Pure and Applied Logic
Logic
2017English

Towards Gradually Typed Capabilities in the Pi-Calculus

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2019English

A Typed Lambda Calculus of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Complexity of Normalization in the Pure Typed Lambda – Calculus

Studies in Logic and the Foundations of Mathematics
1982English

The Enriched Effect Calculus: Syntax and Semantics

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy