发表于 2025-3-24 15:55:01
|
显示全部楼层
Stefano Triberti,Sarah Bigi,Maria Grazia Rossi,Amelia Caretto,Andrea Laurenzi,Nicoletta Dozio,Marina Scavini,Enrico Pergolizzi,Alessandro Ozzello,Silvia Serino,Giuseppe Rivaas compared to other linear logic language) provides a simpler operational model that can lead to a more practical language core. The . fragment is proveded to be an abstract logic programming language, that is any sequent can be derived by uniform proofs. The resulting class of computations can be |
|
|