Plastic
From MaRDI portal
Software:19435
swMATH7403MaRDI QIDQ19435FDOQ19435
Author name not available (Why is that?)
Cited In (17)
- Manifest Fields and Module Mechanisms in Intensional Type Theory
- Coercion completion and conservativity in coercive subtyping
- Weyl's predicative classical mathematics as a logic-enriched type theory
- An implementation of LF with coercive subtyping and universes
- Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory
- Coercive subtyping: theory and implementation
- Natural language inference in Coq
- Transitivity in coercive subtyping
- Structural subtyping for inductive types with functorial equality rules
- Title not available (Why is that?)
- Coherence and Transitivity in Coercive Subtyping
- Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions
- A computational view of implicit coercions in type theory
- Advanced Functional Programming
- Contextual Analysis of Word Meanings in Type-Theoretical Semantics
- Title not available (Why is that?)
- Types for Proofs and Programs
This page was built for software: Plastic
