Dal Alert!

Receive alerts from Dalhousie by text message.

X

@CAT Seminar

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.   

Category

All Events

Time

Starts:
Ends:

Location

Colloquium Room #319, Chase Building