Plastic
From MaRDI portal
Cited in
(19)- Transitivity in coercive subtyping
- Coercive subtyping: theory and implementation
- LEGO
- Natural language inference in Coq
- scientific article; zbMATH DE number 1696611 (Why is no real title available?)
- scientific article; zbMATH DE number 1701346 (Why is no real title available?)
- Weyl's predicative classical mathematics as a logic-enriched type theory
- Intuitionistic multiplicative proof nets as models of directed acyclic graph descriptions
- Coherence and Transitivity in Coercive Subtyping
- Contextual analysis of word meanings in type-theoretical semantics
- A computational view of implicit coercions in type theory
- Structural subtyping for inductive types with functorial equality rules
- Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory
- Manifest Fields and Module Mechanisms in Intensional Type Theory
- FraCaS
- Advanced Functional Programming
- Types for Proofs and Programs
- An implementation of LF with coercive subtyping and universes
- Coercion completion and conservativity in coercive subtyping
This page was built for software: Plastic
