Presented by : Marzieh Bayeh
Topic :Type inference for quantum lambda calculus
Abstract: In this talk, first I will explain the problem of type inference for a typed lambda calculus. Then I will talk about the type inference for quantum lambda calculus.
Colloquium Room #319, Chase Building@CAT Seminar