Applying Universal Algebra to Lambda Calculus (2008)

by Giulio Manzonetto , Antonino Salibra
Citations:8 - 3 self