Lambda-calculus models of programming languages

View on Open Library

Lambda-calculus models of programming languages

by James Hiram Morris

No reviews yet

First published: 1968 1 language

Subjects

Combinatory logic Programming languages (Electronic computers)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Combinatory logic

Introduction to Mathematical Structures and Proofs

Introduction to Mathematical Structures ...

Larry J. Gerstein

Extension Innovation Method

Extension Innovation Method

Chunyan Yang

Ordered Sets

Bernd Schröder

A Beginner's Guide to Discrete Mathematics

A Beginner's Guide to Discrete Mathemati...

W. D. Wallis

A Beginner's Guide to Finite Mathematics

A Beginner's Guide to Finite Mathematics

W. D. Wallis

Combinatorics and Reasoning

Combinatorics and Reasoning

Carolyn A. Maher