21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts (source)

—
—
—
—
Add criteria Advanced search filter
Clear
types of item

  • book article
    Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, Niccolo21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 / p. 38-39
    book article
Number of records 1, displaying 1 - 1