First Page | Document Content | |
---|---|---|
![]() Date: 2015-07-08 00:48:54Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra | Add to Reading List |