Fabian Ruch
- Stack Semantics of Type Theory
2017/01/10 by Thierry Coquand, Coquand, Thierry, Bassel Mannaa +3 · 1 citation
Computer Science · #Advanced Algebra and Logic #F.3.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems