What is a Model of the Lamda Calculus? Expanded Version
An elementary, purely algebraic definition of model for the untypes lambda calculus is given. This definition is shown to be equivalent to the natural semantic definition based on environments. These definitions of model are consistent with, and yield a completeness theorem for, the standard axioms...
Main Author: | Meyer, Albert R. |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149012 |
Similar Items
-
LAMDA Controller Applied to the Trajectory Tracking of an Aerial Manipulator
by: Gabriela M. Andaluz, et al.
Published: (2021-06-01) -
Kajian stabilitas beton pracetak struktur Lamda akibat gerakan gelombang
by: , SURENDRO, Bambang, et al.
Published: (1995) -
An Intelligent Controller Based on LAMDA for Speed Control of a Three-Phase Inductor Motor
by: Luis A. Morales, et al.
Published: (2023-05-01) -
The Leiden Atomic and Molecular Database (LAMDA): Current Status, Recent Updates, and Future Plans
by: Floris F. S. van der Tak, et al.
Published: (2020-04-01) -
Overdispersion study of poisson and zero-inflated poisson regression for some characteristics of the data on lamda, n, p
by: Lili Puspita Rahayu, et al.
Published: (2016-11-01)