[Home] [CV] [Publications]

Publications

Minus Feferman–Landin Logic
Mason, I. A. and Talcott, C. L. - Reflections on the Foundations of Mathematics: Essays in honor of Solomon Feferman - 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.