Monotone (co)inductive types and positive fixed-point types

E-ISSN： 1290-385x|33|4-5|309-328

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.33, Iss.4-5, 2010-03, pp. : 309-328

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

On Distributive Fixed-Point Expressions

By Seidl Helmut Niwiński Damian

RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 4-5, 2010-03 ,pp. : 427-446

Edp Sciences

Access to resources Recommend Favorite

Feedback, trace and fixed-point semantics

By Katis P. Sabadini Nicoletta Walters Robert F.C.

RAIRO - Theoretical Informatics and Applications, Vol. 36, Iss. 2, 2010-03 ,pp. : 181-194

Edp Sciences

Access to resources Recommend Favorite

A Note on Negative Tagging for Least Fixed-Point Formulae

By Gurov Dilian Kapron Bruce

RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 4-5, 2010-03 ,pp. : 383-392

Edp Sciences

Access to resources Recommend Favorite

Fixed-point DSP implementation of active noise control systems

By Kuo Sen M. Nadeski Mark Horner Tom Chyan Jason Panahi Issa

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 1994, Iss. 1, 1994-05 ,pp. : 337-342

Institute of Noise Control Engineering

Access to resources Recommend Favorite

Investigation of self-validating thermocouples with integrated fixed-point units

By Edler F. Haupt S. Mokdad S.-A. Failleau G. Sadli M.

International Journal of Metrology and Quality Engineering, Vol. 6, Iss. 1, 2015-02 ,pp. : 103-103

Edp Sciences

Access to resources Recommend Favorite