A Coinductive Calculus of Streams

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129504004517
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

A Theoretical Perspective of Coinductive Logic Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2015English

Coinductive Interpreters for Process Calculi

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

A Fibrational Method of Indexed Coinductive Data Types

Tehnicki Vjesnik
Engineering
2020English

Coinductive Algorithms for Büchi Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Complete Coinductive Theories. I

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1990English

Inductive, Coinductive, and Pointed Types

ACM SIGPLAN Notices
1996English

Dag-Calculus: A Calculus for Parallel Computation

2016English

Stochastics Calculus: Malliavin Calculus in a Simplest Way

IOSR Journal of Mathematics
2013English

Bootstrapping Inductive and Coinductive Types in HasCASL

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy