scientific article; zbMATH DE number 4047683
From MaRDI portal
Publication:3784044
zbMATH Open0643.03010MaRDI QIDQ3784044FDOQ3784044
Authors: Tatsuya Hagino 
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
recursive typestyped lambda calculuslistsnormalization theoremcategorical type constructorsF-G dialgebras
Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Categories and theories (18C99)
Cited In (59)
- Coinduction in Flow: The Later Modality in Fibrations
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Classical (co)recursion: Mechanics
- Codatatypes in ML
- A generalization of the concept of sketch
- Categorical ML -- category-theoretic modular programming
- Comparing Hagino's categorical programming language and typed lambda- calculi
- Relationships between category theory and functional programming with an application
- Defining concurrent processes constructively
- From algebras and coalgebras to dialgebras
- Categorical abstract machines for higher-order typed \(\lambda\)-calculi
- Termination checking with types
- Least and greatest fixed points in intuitionistic natural deduction
- Semantics of typed lambda-calculus with constructors
- Generic recursive lens combinators and their calculation laws
- Structures definable in polymorphism
- A Lambda-Calculus with Constructors
- Structural induction and coinduction in a fibrational setting
- Title not available (Why is that?)
- Universal coalgebra: A theory of systems
- Non-standard reductions and categorical models in typed lambda-calculus
- On the algebraic structure of declarative programming languages
- Circuits as streams in Coq: verification of a sequential multiplier
- Title not available (Why is that?)
- Reasoning about modular datatypes with Mendler induction
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
- The Recursion Scheme from the Cofree Recursive Comonad
- Typed λ-calculus with recursive definitions
- Recursive coalgebras from comonads
- List-arithmetic distributive categories: Locoi
- Algebras versus coalgebras
- Let's see how things unfold: reconciling the infinite with the intensional (extended abstract)
- Undecidability of equality for codata types
- A hidden agenda
- Coalgebras as types determined by their elimination rules
- A Polymorphic Type System for the Lambda-Calculus with Constructors
- The λ-calculus with constructors: Syntax, confluence and separation
- Inductive, coinductive, and pointed types
- A perspective on service orchestration
- Semantics of constructions. II: The initial algebraic approach
- An exercise on transition systems
- Two extensions of System F with (co)iteration and primitive (co)recursion principles
- Categorical semantics for higher order polymorphic lambda calculus
- Some remarks on type systems for course-of-value recursion
- Dependent inductive and coinductive types are fibrational dialgebras
- Some lambda calculi with categorical sums and products
- A note on categorical datatypes
- Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
- Iteration and coiteration schemes for higher-order and nested datatypes
- A typed, algebraic, computational lambda-calculus
- Efficient lambda encodings for Mendler-style coinductive types in Cedille
- Decomposing typed lambda calculus into a couple of categorical programming languages
- Title not available (Why is that?)
- Modularity and implementation of mathematical operational semantics
- Bisimulations generated from corecursive equations
- Kolmogorov complexity of categories
- Friends with benefits. Implementing corecursion in foundational proof assistants
- Title not available (Why is that?)
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 Q3784044)
