A step-indexed Kripke model of hidden state
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Stovring, Hongseok Yang
págs. 1-54
págs. 55-94
págs. 95-130
págs. 131-141
págs. 142-199
© 2001-2024 Fundación Dialnet · Todos los derechos reservados