A tutorial workshop on realizability semantics and applications. A workshop associated to the federated logic conference, Trento, Italy, June 30 -- July 1, 1999
From MaRDI portal
Publication:1574777
zbMath0942.00054MaRDI QIDQ1574777
No author found.
Publication date: 13 August 2000
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
This page was built for publication: A tutorial workshop on realizability semantics and applications. A workshop associated to the federated logic conference, Trento, Italy, June 30 -- July 1, 1999
