View in EDS HTML Full Text PDF Full Text

A typed lambda-calculus with first-class configurations.

Saved in:
Bibliographic Details
Title: A typed lambda-calculus with first-class configurations.
Authors: Abe, Tatsuya1, abet@stair.center, Kimura, Daisuke2
Source: Journal of Logic & Computation; Oct2023, Vol. 33 Issue 7, p1527-1565, 39p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:0955792X
DOI:10.1093/logcom/exac062