Feferman--Landin Logic
-
-
2002
This paper presents a logic based on Feferman's Variable Type Theories for reasoning about programs written in a class of imperative functional languages called Landinesque languages.
Feferman--Landin Logic
This paper presents a logic based on Feferman's Variable Type Theories for reasoning about programs written in a class of imperative functional languages called Landinesque languages.
