1. Home
  2. Computer
  3. Computer Science
  4. Miculan, Marino

Computer · Computer Science

Miculan, Marino

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About Miculan, Marino

Miculan, Marino- University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.

Tags

H

Where it sits

Computer Computer Science

More in Computer Science

See all →