Search Results

Lambda Calculus, Type Theory, and Natural Language II

Authors: Fox, Chris; Fernandez, Maribel; Lappin, Shalom

Source: Journal of Logic and Computation, Volume 18, Number 2, 16 April 2008 , pp. 203-203(1)

Publisher: Oxford University Press

M. H. Newman's Typability Algorithm for Lambda-calculus

Author: Hindley, J. Roger

Source: Journal of Logic and Computation, Volume 18, Number 2, 16 April 2008 , pp. 229-238(10)

Publisher: Oxford University Press

The Expansion Problem in Lambda Calculi with Explicit Substitution

Author: Arbiser, Ariel

Source: Journal of Logic and Computation, Volume 18, Number 6, 27 December 2008 , pp. 849-883(35)

Publisher: Oxford University Press

Light affine lambda calculus and polynomial time strong normalization

Author: Terui, Kazushige

Source: Archive for Mathematical Logic, Volume 46, Numbers 3-4, April 2007 , pp. 253-280(28)

Publisher: Springer

Differential inclusions for differential forms

Authors: Bandyopadhyay, Saugata; Barroso, Ana; Dacorogna, Bernard; Matias, José

Source: Calculus of Variations and Partial Differential Equations, Volume 28, Number 4, April 2007 , pp. 449-469(21)

Publisher: Springer

The Weak Normalization of the Simply Typed λs_e-calculus

Authors: Arbiser, Ariel; Kamareddine, Fairouz; Rios, Alejandro

Source: Logic Journal of the IGPL, Volume 15, Number 2, March 2007 , pp. 121-147(27)

Publisher: Oxford University Press

White Noise Approach to The Construction of φ₄⁴ Quantum Fields (II)

Authors: Rang, Guang; Huang, Zhi

Source: Acta Mathematica Sinica, Volume 23, Number 5, May 2007 , pp. 895-904(10)

Publisher: Springer

A taste of functional programming — 1

Author: Mukund, Madhavan

Source: Resonance, Volume 12, Number 8, August 2007 , pp. 27-48(22)

Publisher: Springer

Invariant Subspaces for Banach Space Operators with a Multiply Connected Spectrum

Author: Yavuz, Onur

Source: Integral Equations and Operator Theory, Volume 58, Number 3, July 2007 , pp. 433-446(14)

Publisher: Springer

Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters

Author: Minari, Pierluigi

Source: Archive for Mathematical Logic, Volume 46, Numbers 5-6, July 2007 , pp. 385-424(40)

Publisher: Springer

C^*-Algebras of Bergman Type Operators with Piecewise Continuous Coefficients

Authors: Karlovich, Yu.; Pessoa, Luís

Source: Integral Equations and Operator Theory, Volume 57, Number 4, April 2007 , pp. 521-565(45)

Publisher: Springer

Dynamic security labels and static information flow control

Authors: Zheng, Lantian; Myers, Andrew

Source: International Journal of Information Security (IJIS), Volume 6, Numbers 2-3, March 2007 , pp. 67-84(18)

Publisher: Springer

Full Text

Author: Awodey, Steve

Source: Category Theory, May 2006 , pp. i-256(257)

Publisher: Oxford Scholarship Online Monographs

Applications of differential calculus to quasilinear elliptic boundary value problems with non-smooth data

Authors: Gröger, Konrad; Recke, Lutz

Source: Nonlinear Differential Equations and Applications NoDEA, Volume 13, Number 3, November 2006 , pp. 263-285(23)

Publisher: Springer

Expressing combinatory reduction systems derivations in the rewriting calculus

Authors: Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude

Source: LISP and Symbolic Computation, Volume 19, Number 4, December 2006 , pp. 345-376(32)

Publisher: Springer

Call-by-push-value: Decomposing call-by-value and call-by-name

Author: Levy, Paul

Source: LISP and Symbolic Computation, Volume 19, Number 4, December 2006 , pp. 377-414(38)

Publisher: Springer

Comparing Computational Power

Authors: Boker, Udi; Dershowitz, Nachum

Source: Logic Journal of the IGPL, Volume 14, Number 5, October 2006 , pp. 633-647(15)

Publisher: Oxford University Press

Models of Deduction*

Author: Dosen, Kosta

Source: Synthese, Volume 148, Number 3, February 2006 , pp. 639-657(19)

Publisher: Springer

Program Extraction from Normalization Proofs

Authors: Berger, Ulrich; Berghofer, Stefan; Letouzey, Pierre; Schwichtenberg, Helmut

Source: Studia Logica, Volume 82, Number 1, February 2006 , pp. 25-49(25)

Publisher: Springer

Completeness and Cut-elimination in the Intuitionistic Theory of Types

Authors: DeMarco, Mary; Lipton, Jame

Source: Journal of Logic and Computation, Volume 15, Number 6, December 2005 , pp. 821-854(34)

Publisher: Oxford University Press