<--- Back to Details
First PageDocument Content
Curry–Howard correspondence / Root system / Constructible universe / Lie algebras / Mathematics
Date: 2011-08-03 13:49:47
Curry–Howard correspondence
Root system
Constructible universe
Lie algebras
Mathematics

Linear Algebra and its Applications[removed]–165 www.elsevier.com/locate/laa

Add to Reading List

Source URL: www.math.wsu.edu

Download Document from Source Website

File Size: 120,62 KB

Share Document on Facebook

Similar Documents