First Page | Document Content | |
---|---|---|
![]() Date: 2014-08-22 12:11:10Software engineering Computing Theoretical computer science Type theory Data types Logic in computer science Edsger W. Dijkstra Substructural logic Separation logic Type system Haskell Subtyping | Add to Reading List |