User:Salibra

From Mathfuzzlog
Jump to: navigation, search

Full Professor of Computer Science, Università Ca'Foscari Venezia, Italia Interests: lambda calculus, universal algebra, domain theory and topology (with applications to computer science), linear logic, differential and resource lambda calculi.