Applications of infinitary lambda calculus: From Type Theory to Morphological Complexity

Saved in:
Bibliographic Details
Published in:Information and computation 2009, Vol.207 (5), p.559-582
Main Authors: BARENDREGT, Henk, KLOP, Jan Willem
Format: Article
Language:English
Subjects:
Applied sciences
Combinatorics
Combinatorics. Ordered structures
Computer science
control theory
systems
Exact sciences and technology
General logic
Graph theory
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Miscellaneous
Programming theory
Sciences and techniques of general use
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0890-5401
1090-2651