View in EDS PDF Full Text

THE LANGUAGE OF STRATIFIED SETS IS CONFLUENT AND STRONGLY NORMALISING.

Saved in:
Bibliographic Details
Title: THE LANGUAGE OF STRATIFIED SETS IS CONFLUENT AND STRONGLY NORMALISING.
Authors: GABBAY, MURDOCH J.1
Source: Logical Methods in Computer Science (LMCS); 2018, Vol. 14 Issue 2, p1-34, 34p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.23638/LMCS-14(2:12)2018