A Model of Countable Nondeterminism in Guarded Type Theory

A. Bizjak

•

L. Birkedal

•

MICULAN, Marino

2014

conference object

DOI

10.1007/978-3-319-08918-8_8

Archivio

http://hdl.handle.net/11390/1039442

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84958529117

Diritti

closed access

Scopus© citazioni

19

Data di acquisizione
Jun 7, 2022

Visualizzazioni

5

Data di acquisizione
Apr 19, 2024