First steps towards inferential programming

Computer Science Departmen

Local Realizability Toposes and a Modal Logic for Computability

Steve Awodey, Lars Birkendal, and Dana S. Scott. Local Realizability Toposes and a Modal Logic for Computability

Final report on the automated classification and retrieval project : MedSORT-1

Department of Philosophy technical repor