[Home] [CV] [Publications]

Publications

Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Feferman–Landin Logic
Mason, I. A. and Talcott, C. L. - 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.