Typed lambda calculi and applications: 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013: proceedings [Book Review]

(ed.)
New york: Springer (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.5.I58 2013

ISBN(s)

9783642389450

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Typed lambda calculi and applications: 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011: proceedings.Luke Ong (ed.) - 2011 - New York: Springer.
Typed lambda calculi and applications: 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001: proceedings.Samson Abramsky (ed.) - 2001 - New York: Springer.
Lambda Calculi: A Guide for the Perplexed.Chris Hankin - 1994 - Oxford University Press.
Typed Lambda calculi. S. Abramsky et AL.H. P. Barendregt - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. pp. 117--309.
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics.Motohiko Mouri & Norihiro Kamide - 2008 - Logica Universalis 2 (2):189-207.
The Significance of the Curry-Howard Isomorphism.Richard Zach - 2019 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 313-326.
The nature of computation: logic, algorithms, applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013: proceedings.Paola Bonizzoni, Vasco Brattka & Benedikt Löwe (eds.) - 2013 - New York: Springer.
Unification of Simply Typed Lambda-Terms as Logic Programming.Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
Lambda-calculus, combinators, and functional programming.György E. Révész - 1988 - New York: Cambridge University Press.

Analytics

Added to PP
2022-12-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references