On reduction and normalization in the computational core
From MaRDI portal
Publication:5879269
DOI10.1017/S0960129522000433MaRDI QIDQ5879269
Giulio Guerrieri, Claudia Faggian, Riccardo Treglia, Ugo de'Liguoro
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