Towards an Axiomatics for Modified Realizability

Activity: Talk or presentationInvited talkPopular

Period25 Sept 2000
Event titleXX Incontro di Logica Matematica, invited (Ravello)
Event typeSeminar