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

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-56503-5_9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Simply Typed Λ-Calculus

1993English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Search for Λ–Λ Hyperuclei Using Antiprotons in PANDA

EPJ Web of Conferences
AstronomyPhysics
2014English

Λ-Similar Bases

International Journal of Mathematics and Mathematical Sciences
Mathematics
1987English

Bounds for Λ-Domination Number Γ Λ (G) of a Graph

Journal of Computational Mathematica
2017English

The Super-W∞(λ) Algebra

Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics
High Energy PhysicsNuclear
1991English

On Λ-Commuting Operators

Studia Mathematica
Mathematics
2005English

2-Level Λ-Lifting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1988English

Explicit Estimates: From Λ(n) in Arithmetic Progressions to Λ(n)/N

Experimental Mathematics
Mathematics
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy