I am Professor of Computer Science at the University of Bologna
University of Bologna
Member for 3 years, 8 months
2 profile views
Last seen Jan 31 '19 at 10:49
Top network posts
- 17 Is it possible to evaluate lambda calculus terms efficiently?
- 14 Formal semantics of OCaml in Coq
- 9 Understanding between lambda-calculus and other abstract machines (like Turing machine and Markov algorithm)
- 9 About the origin of the names "immune" and "simple"
- 7 Differences between time complexity and space complexity?
- 7 2D convolution: Flipping the kernel?
- 6 Can a Turing machine perform Quicksort?
- View more network posts →