MR2075335 (2005f:03094) Murawski, A. S.(4-OX-C); Ong, C.-H. L.(4-OX-C)On an interpretation of safe recursion in light affine logic. (English summary) Theoret. Comput. Sci. 318 (2004), no. 1-2, 197--223.
ROVERSI, Luca
2005-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
