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