Jon G. Riecke
- Kripke Logical Relations and PCF
1995/07/01 by Peter W. O’Hearn, Jon G. Riecke · 4 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Finitary #Abstraction #Invariant (physics) #Computer science #Mathematics #Discrete mathematics #Philosophy #Epistemology