DAL LAGO, U., Baillot, P. (2006). On light logics, uniform encodings and polynomial time. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 16(4), 713-733 [10.1017/S0960129506005421].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


