More Church-Rosser Proofs in BELUGA ...

Bibliographic Details
Main Authors: Momigliano, Alberto, Sassella, Martina
Format: Report
Language:English
Published: Unpublished 2023
Subjects:
Beluga
Beluga*
Online Access:https://dx.doi.org/10.13140/rg.2.2.10663.73127
https://rgdoi.net/10.13140/RG.2.2.10663.73127
Description
Description not available.

Similar Items