The following pages link to Daniel Fridlender (Q1744422):
Displayed 8 items.
- Proving correctness of a compiler using step-indexed logical relations (Q1744423) (← links)
- (Q2968419) (← links)
- (Q4246946) (← links)
- A proof-irrelevant model of Martin-Löf's logical framework (Q4405694) (← links)
- Do we need dependent types? (Q4519175) (← links)
- (Q4944852) (← links)
- A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation (Q5300899) (← links)
- Pure type systems with explicit substitutions (Q5371956) (← links)