Conference Papers
Year : 2002
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03201730
Submitted on : Monday, April 19, 2021-11:23:25 AM
Last modification on : Wednesday, November 29, 2023-3:28:04 PM
Dates and versions
Identifiers
- HAL Id : hal-03201730 , version 1
Cite
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⟩
Collections
8
View
0
Download