scientific article; zbMATH DE number 1863381
From MaRDI portal
Publication:4790656
zbMATH Open1005.68512MaRDI QIDQ4790656FDOQ4790656
Publication date: 4 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520121
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 2003149
- General Recursion via Coinductive Types
- Recursion on Nested Datatypes in Dependent Type Theory
- Logical Approaches to Computational Barriers
- Simple general recursion in type theory
- Modelling general recursion in type theory
- scientific article; zbMATH DE number 3928338
- scientific article; zbMATH DE number 883893
- An induction principle for nested datatypes in intensional type theory
- scientific article; zbMATH DE number 1223720
Cited In (28)
- Typed Lambda Calculi and Applications
- Logical Approaches to Computational Barriers
- General Recursion via Coinductive Types
- Conservativity of nested relational calculi with internal generic functions
- Representations and the foundations of mathematics
- Recursion on Nested Datatypes in Dependent Type Theory
- Inductive invariants for nested recursion
- Computation by Prophecy
- Indexed induction-recursion
- Title not available (Why is that?)
- Another look at function domains
- General recursive functions in a very simply interpretable typed \(\lambda\)-calculus
- Recursive coalgebras from comonads
- Title not available (Why is that?)
- A Type of Partial Recursive Functions
- Untyped Recursion Schemes and Infinite Intersection Types
- A simple canonical representation of rational numbers
- Inductive and coinductive components of corecursive functions in Coq
- Modelling general recursion in type theory
- Coalgebras in functional programming and type theory
- Numbering matters
- Turing-Completeness Totally Free
- Nested abstract syntax in Coq
- Partial and nested recursive function definitions in higher-order logic
- Simple general recursion in type theory
- Type theory should eat itself
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
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 Q4790656)
