The following pages link to Eike Ritter (Q194959):
Displayed 24 items.
- Categorical abstract machines for higher-order typed \(\lambda\)-calculi (Q1349667) (← links)
- On the intuitionistic force of classical search (Q1575923) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- (Q3024852) (← links)
- (Q3413927) (← links)
- (Q4219051) (← links)
- (Q4260707) (← links)
- (Q4263879) (← links)
- Linear explicit substitutions (Q4444908) (← links)
- Proof-terms for classical and intuitionistic resolution (Q4487255) (← links)
- (Q4508305) (← links)
- (Q4525291) (← links)
- On explicit substitutions and names (extended abstract) (Q4571957) (← links)
- On the intuitionistic force of classical search (Extended abstract) (Q4645244) (← links)
- Proof-terms for classical and intuitionistic resolution (Q4647497) (← links)
- (Q4785506) (← links)
- (Q4809790) (← links)
- (Q4918421) (← links)
- Model Checking Agent Knowledge in Dynamic Access Control Policies (Q5326344) (← links)
- A proof-theoretic analysis of the classical propositional matrix method (Q5406130) (← links)
- Financial Cryptography and Data Security (Q5712254) (← links)
- On the semantics of classical disjunction (Q5939825) (← links)