On reduction and normalization in the computational core
From MaRDI portal
Publication:5879269
DOI10.1017/S0960129522000433MaRDI QIDQ5879269
Ugo de'Liguoro, Claudia Faggian, Giulio Guerrieri, Riccardo Treglia
Publication date: 28 February 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2104.10267
Uses Software