-
1The Parametric Lambda Calculus [electronic resource] : A Metamodel for Computation / The Parametric Lambda Calculus [electronic resource] : A Metamodel for Computation /by Rocca, Simona Ronchi Della. author., Paolini, Luca. author., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS -
2The Parametric Lambda Calculus [electronic resource] : A Metamodel for Computation / The Parametric Lambda Calculus [electronic resource] : A Metamodel for Computation /by Rocca, Simona Ronchi Della. author., Paolini, Luca. author., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS -
3Theoretical Computer Science [electronic resource] : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings / Theoretical Computer Science [electronic resource] : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings /by Restivo, Antonio. author., Rocca, Simona Ronchi Della. author., Roversi, Luca. author., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS -
4Theoretical Computer Science [electronic resource] : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings / Theoretical Computer Science [electronic resource] : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings /by Restivo, Antonio. author., Rocca, Simona Ronchi Della. author., Roversi, Luca. author., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS