Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Applying Universal Algebra to Lambda Calculus
Document related concepts
Structure (mathematical logic) wikipedia , lookup
Geometric algebra wikipedia , lookup
History of algebra wikipedia , lookup
Exterior algebra wikipedia , lookup
Homological algebra wikipedia , lookup
Representation theory wikipedia , lookup
Complexification (Lie group) wikipedia , lookup
Fundamental theorem of algebra wikipedia , lookup
Modular representation theory wikipedia , lookup
Clifford algebra wikipedia , lookup
Lattice (order) wikipedia , lookup
Heyting algebra wikipedia , lookup
Boolean algebras canonically defined wikipedia , lookup
Transcript
