The following pages link to Jacek Chrząszcz (Q276261):
Displaying 10 items.
- The role of polymorphism in the characterisation of complexity by soft types (Q276263) (← links)
- The Role of Polymorphism in the Characterisation of Complexity by Soft Types (Q3088041) (← links)
- Towards Rewriting in Coq (Q3608814) (← links)
- (Q4218110) (← links)
- ML with PTIME complexity guarantees (Q4649547) (← links)
- Types for Proofs and Programs (Q5712326) (← links)
- Inductive Consequences in the Calculus of Constructions (Q5747669) (← links)
- From OBJ to ML to Coq (Q5757928) (← links)
- Consistency and Completeness of Rewriting in the Calculus of Constructions (Q5900438) (← links)
- Consistency and Completeness of Rewriting in the Calculus of Constructions (Q5901480) (← links)
