Suggested Topics within your search.
Suggested Topics within your search.
C++ (programming language)
1
Calculations
1
Computational mechanics
1
Correctness proof
1
Correctness proofs
1
Denotational semantics
1
Differentiation (calculus)
1
Functional programming
1
Inheritance
1
Kripke-style logical relation
1
Logical relations
1
Object oriented programming
1
Object-oriented programming
1
Semantics
1
Simply typed lambda calculus
1
Simply typed lambda-calculus
1
-
1by Philip Atzemoglou“...We present a novel lambda calculus that casts the categorical approach to the study of quantum...”
Published 2014-12-01
Get full text
Article -
2
-
3by Nebel, Frank“... to introduce the Nominal Lambda Calculus (NLC), a typed lambda calculus that provides a simple form of name...”
Published 2015
Get full text
-
4
-
5“...The resource calculus is an extension of the lambda-calculus allowing to model resource consumption...”
Get full text
Article -
6by Crank, Erik T.“..., and compare modifications of the $\lambda$-calculus for the most common parameter-passing techniques. More...”
Published 2009
Get full text
Others -
7
-
8by Henderson, Robert John“... to background knowledge. For the system's knowledge representation language, I argue that lambda calculus is a...”
Published 2013
Get full text
-
9
-
10by Diepenveen, Emily“...In [7], Ehrhard et al. present a model of the untyped lambda calculus built from an object without...”
Published 2013
Get full text
Get full text
Others -
11
-
12
-
13
-
14
-
15
-
16by Beniamino Accattoli“... lambda calculus and linear logic proof nets. The presentation is carefully tuned in order to realize a...”
Published 2013-03-01
Get full text
Article -
17by Benoît Valiron“... untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed...”
Published 2010-06-01
Get full text
Article -
18
-
19
-
20by Hannay, Jo E.“.... On the other hand, the discipline of type theory, lambda calculus, and its semantics is the prime field...”
Published 2001
Get full text