Skip to Main content Skip to Navigation
Conference papers

Logical Relations for Monadic Types

Jean Goubault-Larrecq 1 Slawomir Lasota 1, 2 David Nowak 1
1 LSV - Laboratoire Spécification et Vérification
2 MIMUW - Faculty of Mathematics, Informatics, and Mechanics [Warsaw]
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-03201730
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, April 19, 2021 - 11:23:25 AM
Last modification on : Sunday, May 2, 2021 - 3:27:25 AM

Identifiers

  • HAL Id : hal-03201730, version 1

Collections

CNRS | ENS-CACHAN | ENS-PARIS-SACLAY | GS-COMPUTER-SCIENCE

Citation

Jean Goubault-Larrecq, Slawomir Lasota, David Nowak. Logical Relations for Monadic Types. 16th International Workshop on Computer Science Logic (CSL'02), Sep 2002, Edinburgh, United Kingdom. pp.553-568. ⟨hal-03201730⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

14

 

Contact                    Legal Notice                    Personal Data