Similar Items: Honesty by Typing
- Predicting Public Transport User Honesty: A Machine Learning Approach to Lost Item Returns
- Normalisation by Evaluation for Type Theory, in Type Theory
- Quotients, inductive types, and quotient inductive types
- A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
- An extended type system with lambda-typed lambda-expressions
- Type Reconstruction for the Linear pi-Calculus with Composite Regular Types