Web Directory

    Top: Computers: Computer_Science: People: M:

 

Miculan, Marino

  Link Details for: Miculan, Marino
Link Title: Miculan, Marino Open in a new window
Link URL: http://www.dimi.uniud.it/~miculan/
Link Details: University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
Category: Top : Computers : Computer_Science : People : M
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Miculan, Marino