9 results on '"Martin Hofmann"'
Search Results
2. Pointer Programs and Undirected Reachability.
3. Proof-Theoretic Approach to Description-Logic.
4. Normalization by Evaluation for Typed Lambda Calculus with Coproducts.
5. Semantical Analysis of Higher-Order Abstract Syntax.
6. Linear Types and Non-Size-Increasing Polynomial Time Computation.
7. Continuation Models are Universal for Lambda-Mu-Calculus.
8. Reduction-Free Normalisation for a Polymorphic System.
9. The Groupoid Model Refutes Uniqueness of Identity Proofs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.