View in EDS PDF Full Text

NORMALIZATION FOR MULTIMODAL TYPE THEORY.

Saved in:
Bibliographic Details
Title: NORMALIZATION FOR MULTIMODAL TYPE THEORY.
Authors: GRATZER, DANIEL1, gratzer@cs.au.dk
Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p27:1-27:42, 42p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-22(1:27)2026