CITATION STYLE
Lipton, J. (1992). Constructive Kripke Semantics and Realizability (pp. 319–357). https://doi.org/10.1007/978-1-4612-2822-6_13
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley