The following pages link to Healfdene Goguen (Q1401949):
Displaying 13 items.
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- (Q2766806) (← links)
- (Q3024835) (← links)
- (Q4263870) (← links)
- (Q4736393) (← links)
- (Q4945242) (← links)
- Sequent combinators: a Hilbert system for the lambda calculus (Q4946630) (← links)
- (Q4964688) (← links)
- A syntactic approach to eta equality in type theory (Q5276136) (← links)
- Anti-symmetry of higher-order subtyping and equality by subtyping (Q5466793) (← links)
- Foundations of Software Science and Computational Structures (Q5705901) (← links)
- Eliminating Dependent Pattern Matching (Q5757920) (← links)
- Types for Proofs and Programs (Q5897607) (← links)
