View in EDS PDF Full Text

A CUBICAL LANGUAGE FOR BISHOP SETS.

Saved in:
Bibliographic Details
Title: A CUBICAL LANGUAGE FOR BISHOP SETS.
Authors: STERLING, JONATHAN1, jsterling@cs.au.dk, ANGIULI, CARLO2, cangiuli@cs.cmu.edu, GRATZER, DANIEL1, gratzer@cs.au.dk
Source: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 1, p1-80, 80p, 4 Diagrams
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-18(1:43)2022