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