scientific article; zbMATH DE number 1086721
From MaRDI portal
Publication:4362971
zbMATH Open0887.68069MaRDI QIDQ4362971FDOQ4362971
Authors: Ulrich Hensel, Bart Jacobs 
Publication date: 13 November 1997
Title of this publication is not available (Why is that?)
Recommendations
- An induction principle for nested datatypes in intensional type theory
- Proof rules for recursive procedures
- scientific article; zbMATH DE number 3967897
- A proof-theoretic account of primitive recursion and primitive iteration
- Theorem Proving in Higher Order Logics
- A coinduction principle for recursive data types based on bisimulation
- Recursion on Nested Datatypes in Dependent Type Theory
- scientific article; zbMATH DE number 42059
- Types and higher-order recursion schemes for verification of higher-order programs
Cited In (8)
- Coinductive predicates and final sequences in a fibration
- Embeddability of ptykes
- Structural induction and coinduction in a fibrational setting
- Proving the unique fixed-point principle correct: an adventure with category theory
- Tiered objects
- Coinductive predicates and final sequences in a fibration
- Greatest bisimulations for binary methods
- Bootstrapping Types and Cotypes in HasCASL
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 Q4362971)
