Structural Induction and Coinduction in a Fibrational Setting

Information and Computation - United States
doi 10.1006/inco.1998.2725
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Hacking Nondeterminism With Induction and Coinduction

Communications of the ACM
Computer Science
2015English

Indexed Induction and Coinduction, Fibrationally

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Fibrational Method of Indexed Coinductive Data Types

Tehnicki Vjesnik
Engineering
2020English

Success and Safety of Sputum Induction in the Clinical Setting

European Respiratory Journal
MedicinePulmonaryRespiratory Medicine
2000English

The Induction of Positive Affect in a Community Setting Using Electronic Communications.

English

Generic Trace Semantics via Coinduction

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Management of Pulmonary Arterial Bleeding in the Post Induction Setting

Journal of Visualized Surgery
2016English

Structural Setting of Kimberlites in South-Eastern Australia

English

A Comparative Study on Structural Empowerment of Co-Operatives Members in Urban and Rural Setting

2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy