scientific article; zbMATH DE number 3882404
From MaRDI portal
Publication:3216629
Recommendations
Cited in
(61)- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- The system \({\mathcal F}\) of variable types, fifteen years later
- The calculus of constructions
- A small complete category
- On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
- Finitely stratified polymorphism
- Subtyping can have a simple semantics
- Polymorphism and apartness
- Categorical models of polymorphism
- On functors expressible in the polymorphic typed lambda calculus
- From constructivism to computer science
- Parametricity as isomorphism
- Covariant types
- Polynat in PER models
- Domain theoretic models of polymorphism
- The Girard-Reynolds isomorphism
- On completeness and cocompleteness in and around small categories
- Polymorphic extensions of simple type structures. With an application to a bar recursive minimization
- Parametricity for primitive nested types
- A higher-order calculus and theory abstraction
- Internal enriched categories
- scientific article; zbMATH DE number 1696771 (Why is no real title available?)
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
- Parametric Polymorphism — Universally
- Comprehending Isabelle/HOL’s Consistency
- scientific article; zbMATH DE number 4179331 (Why is no real title available?)
- scientific article; zbMATH DE number 3882403 (Why is no real title available?)
- Logical systems. I: Internal calculi.
- scientific article; zbMATH DE number 4148057 (Why is no real title available?)
- scientific article; zbMATH DE number 4154448 (Why is no real title available?)
- scientific article; zbMATH DE number 4158597 (Why is no real title available?)
- scientific article; zbMATH DE number 4035777 (Why is no real title available?)
- scientific article; zbMATH DE number 4049849 (Why is no real title available?)
- scientific article; zbMATH DE number 69223 (Why is no real title available?)
- A simple model construction for the calculus of constructions
- Parametricity for nested types and GADTs
- Functional sorts in data type specifications
- On generalized algebraic theories and categories with families
- Martin Hofmann's Case for Non-Strictly Positive Data Types
- Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
- Intuitive counterexamples for constructive fallacies
- The computational content of atomic polymorphism
- Relational parametricity for control considered as a computational effect
- No value restriction is needed for algebraic effects and handlers
- Universal properties for universal types in bifibrational parametricity
- Polymorphic functions with set-theoretic types. I: Syntax, semantics, and evaluation
- scientific article; zbMATH DE number 2242602 (Why is no real title available?)
- Initial algebra semantics for lambda calculi
- Bifibrational functorial semantics of parametric polymorphism
- Types, abstraction, and parametric polymorphism, part 2
- An intuitionistic set-theoretical model of fully dependent CC
- Equational theories for inductive types
- A variation of Reynolds-Hurkens paradox
- Strong dinatural transformations and generalised codensity monads
- Extensional models for polymorphism
- The semantics of second-order lambda calculus
- Fixed points in Cartesian closed categories
- Functorial polymorphism
- The Girard-Reynolds isomorphism (second edition)
- A modest model of records, inheritance, and bounded quantification
- Parameter-free polymorphic types
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3216629)
