Plastic
From MaRDI portal
Software:19435
No author found.
Related Items
Types for Proofs and Programs ⋮ Advanced Functional Programming ⋮ Weyl's predicative classical mathematics as a logic-enriched type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coercive subtyping: theory and implementation ⋮ Structural subtyping for inductive types with functorial equality rules ⋮ 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 ⋮ Natural language inference in Coq ⋮ Transitivity in coercive subtyping ⋮ An implementation of LF with coercive subtyping and universes ⋮ Coercion completion and conservativity in coercive subtyping ⋮ Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory ⋮ A computational view of implicit coercions in type theory ⋮ Manifest Fields and Module Mechanisms in Intensional Type Theory
This page was built for software: Plastic
