Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,926,269 papers from all fields of science
Search
Sign In
Create Free Account
Simply typed lambda calculus
Known as:
Bidirectional type checking
, Simply typed λ-calculus
, STLC
Expand
The simply typed lambda calculus (), a formof type theory, is a typed interpretation of the lambda calculus with only one type constructor: that…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
47 relations
Apply
Cartesian closed category
Categorial grammar
Categorical logic
Expand
Broader (2)
Lambda calculus
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Definable functions in the simply typed lambda-calculus
Mateusz Zakrzewski
arXiv.org
2007
Corpus ID: 17504924
It is a common knowledge that the integer functions definable in simply typed lambda-calculus are exactly the extended…
Expand
2007
2007
Edinburgh Research Explorer Categorical Completeness Results for the Simply-typed Lambda-calculus
A. Simpson
2007
Corpus ID: 17267976
. We investigate, in a categorical setting, some completeness properties of beta-eta conversion between closed terms of the…
Expand
2007
2007
Fault-Tolerant Voting in a Simply-Typed Lambda Calculus
M. Elsman
2007
Corpus ID: 14759830
In this paper we present a translation from the simply typed lambda calculus into an extended simply typed lambda calculus that…
Expand
2006
2006
Soundness of the simply typed lambda calculus in ACL2
S. Swords
,
W. Cook
International Workshop on the ACL2 Theorem Prover…
2006
Corpus ID: 9493666
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem…
Expand
2005
2005
A Self-dependency Constraint in the Simply Typed Lambda Calculus
Aleksy Schubert
International Symposium on Fundamentals of…
2005
Corpus ID: 17631064
We consider a class of terms in the simply typed lambda calculus in which initially, during reduction, and for the potential…
Expand
2002
2002
Simply Typed Lambda-Calculus
B. Pierce
2002
Corpus ID: 125692238
2000
2000
Reducibility Method in Simply Typed Lambda Calculus
S. Ghilezan
,
Viktor Kunčak
2000
Corpus ID: 117582790
Note: Also in: Novi Sad J. Math. 31 (2001), no. 1, 27--32 Reference LARA-CONF-2000-001 Record created on 2007-08-21, modified on…
Expand
1999
1999
Alpha Conversion in Simply Typed Lambda Calculus
Ana Bove
,
P. Severi
1999
Corpus ID: 58847702
Review
1998
Review
1998
Notes on Simply Typed Lambda Calculus
R. Loader
1998
Corpus ID: 124197214
The purpose of this course is to provide an introduction to λ-calculi, specifically the simply typed lambda calculus…
Expand
1995
1995
Categorical completeness results for the simply-typed lambda-calculus
Alex K. Simpson
International Conference on Typed Lambda Calculus…
1995
Corpus ID: 263888185
We investigate, in a categorical setting, some completeness properties of beta-eta conversion between closed terms of the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE