The following pages link to Carsten Schuermann (Q2092486):
Displaying 35 items.
- (Q236744) (redirect page) (← links)
- (Q1699420) (redirect page) (← links)
- Choreographies, logically (Q1699421) (← links)
- Automated analysis of accountability (Q2092487) (← links)
- Security protocols as choreographies (Q2154014) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- A Representation of Fω in LF (Q2841235) (← links)
- (Q2844813) (← links)
- (Q2848049) (← links)
- A Meta Linear Logical Framework (Q2871843) (← links)
- Truthful Monadic Abstractions (Q2908481) (← links)
- (Q2996167) (← links)
- (Q3024905) (← links)
- The Twelf Proof Assistant (Q3183521) (← links)
- Choreographies, Logically (Q3190108) (← links)
- (Q3408129) (← links)
- A Contextual Logical Framework (Q3460071) (← links)
- Celf – A Logical Framework for Deductive and Concurrent Systems (System Description) (Q3541713) (← links)
- A Coverage Checking Algorithm for LF (Q3559763) (← links)
- Lexicographic Path Induction (Q3637202) (← links)
- (Q4223031) (← links)
- (Q4249901) (← links)
- (Q4608685) (← links)
- (Q4783333) (← links)
- Analysing Vote Counting Algorithms via Logic (Q4928434) (← links)
- Focused Natural Deduction (Q4933303) (← links)
- (Q4944858) (← links)
- Functional and Logic Programming (Q5308009) (← links)
- (Q5357720) (← links)
- An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf (Q5387890) (← links)
- Computer Science Logic (Q5394599) (← links)
- Practical Programming with Higher-Order Encodings and Dependent Types (Q5458389) (← links)
- Typed Lambda Calculi and Applications (Q5704020) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← links)
- Primitive recursion for higher-order abstract syntax (Q5958752) (← links)
