SIMPLY-TYPED CONSTANT-DOMAIN MODAL LAMBDA CALCULUS I: DISTANCED BETA REDUCTION AND COMBINATORY LOGIC.

Saved in:

Bibliographic Details
Title:	SIMPLY-TYPED CONSTANT-DOMAIN MODAL LAMBDA CALCULUS I: DISTANCED BETA REDUCTION AND COMBINATORY LOGIC.
Authors:	WALSH, SEAN¹, walsh@ucla.edu
Source:	Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 3, p1-59, 59p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.46298/LMCS-22(3:4)2026