Akt
MATH42001 - Group Theory
n
A Gentle Introduction to Category Theory
Well-matchedness in Euler Diagram
Agda 入門@ProofSummit 2011
Probability for a First-Order Language Ken Presting University of North Carolina at Chapel Hill.
Haskell Type System with Dzmitry Ivashnev.
Functor
Morphis m
outlineZF.pdf
Denotational Semantics