scientific article; zbMATH DE number 7471662
From MaRDI portal
Publication:5028421
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2006.02887
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Deconfined Global Types for Asynchronous Sessions ⋮ Enhancing expressivity of checked corecursive streams ⋮ Checked corecursive streams: expressivity and completeness
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A general account of coinduction up-to
- Coinductive big-step operational semantics
- Fundamental properties of infinite trees
- Infinite trees and completely iterative theories: A coalgebraic view
- A new foundation for finitary corecursion and iterative algebras
- A lattice-theoretical fixpoint theorem and its applications
- A New Foundation for Finitary Corecursion
- The power of parameterization in coinductive proof
- Generalizing Inference Systems by Coaxioms
- Sequent calculi for induction and infinite descent
- Introduction to Bisimulation and Coinduction
- A Theoretical Perspective of Coinductive Logic Programming
- Iterative algebras at work
- Grammar Analysis and Parsing by Abstract Interpretation
- CoCaml: Functional Programming with Regular Coinductive Types
- Flexible coinductive logic programming
- Language Constructs for Non-Well-Founded Computation
- Finiteness and rational sequences, constructively
- Co-Logic Programming: Extending Logic Programming with Coinduction
- Coinductive Logic Programming
- Automated Reasoning with Analytic Tableaux and Related Methods
This page was built for publication: