Back to Results
First PageMeta Content
Mathematical logic / Models of computation / Theoretical computer science / Model theory / Logic in computer science / Monad / Denotational semantics / Kleisli category / Lambda calculus / Mathematics / Adjoint functors / Software engineering


Document Date: 2002-07-31 04:29:42

Open Document

File Size: 269,38 KB

Share Result on Facebook
UPDATE