Alberto Pravato

According to our database, Alberto Pravato authored at least 6 papers between 1995 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A Computer Vision System for Monitoring Ice-Cream Freezers.

Alessandro Torcinovich, Marco Fratton, Marcello Pelillo, Alberto Pravato, Alessandro Roncato

Proceedings of the Image Analysis and Processing - ICIAP 2017, 2017

A Computer Vision System for the Automatic Inventory of a Cooler.

Marco Fiorucci, Marco Fratton, Tinsae G. Dulecha, Marcello Pelillo, Alberto Pravato, Alessandro Roncato

Proceedings of the Image Analysis and Processing - ICIAP 2017, 2017

1999

The call-by-value [lambda]-calculus: a semantic investigation.

Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi

Math. Struct. Comput. Sci., 1999

1998

Structured Operational Semantics of a Fragment of the Language Scheme.

Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca

J. Funct. Program., 1998

Structures for lazy semantics.

Olivier Bastonero, Alberto Pravato, Simona Ronchi Della Rocca

Proceedings of the Programming Concepts and Methods, 1998

1995

Categorical semantics of the call-by-value lambda-calculus.

Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi

Proceedings of the Typed Lambda Calculi and Applications, 1995