Baidu
map

TREES FROM FUNCTIONS AS PROCESSES

Sangiorgi, D; Xu, X

Sangiorgi, D (reprint author), Univ Bologna, Bologna, Italy.

LOGICAL METHODS IN COMPUTER SCIENCE, 2018; 14 (3):

Abstract

Levy-Longo Trees and Bohm Trees are the best known tree structures on the lambda-calculus. We give general conditions under which an encoding of the l......

Full Text Link


Baidu
map
Baidu
map
Baidu
map