www.ps.uni-saarland.de
Topics
Related Domains
Wikipedia Pages Linking to www.ps.uni-saarland.de
Wikipedia Links
Anchor text: Gert Smolka and Jan Schwinghammer (2007-8), Lecture Notes in Semantics
Anchor text: Modeling and Proving in Computational Type Theory Using the Coq Proof Assistant
Anchor text: Extensible dependency grammar
Anchor text: ''Set Theory in Type Theory''
Anchor text: ''Hereditarily Finite Sets in Constructive Type Theory''
Anchor text: Multiple publications about Alice ML and its concepts