"Normalization in the simply typed ..."

Péter Battyányi, Karim Nour (2022)

Details and statistics

DOI: 10.1017/S096012952200041X

access: closed

type: Journal Article

metadata version: 2023-03-28