First Page | Document Content | |
---|---|---|
Date: 2002-07-31 04:29:42Mathematical 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 | Add to Reading ListSource URL: www.disi.unige.itDownload Document from Source WebsiteFile Size: 269,38 KBShare Document on Facebook |