Relative Definability and Models of Unary PCF

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/3-540-44904-3_6 ◽

2003 ◽

pp. 75-89 ◽

Cited By ~ 1

Author(s):

Antonio Bucciarelli ◽

Benjamin Leperchey ◽

Vincent Padovani

Download Full-text