Metamathematics of contexts (1995)

by Saša Buvač, Vanja Buvač, Ian A Mason
Venue:Fundamenta Informaticae