<--- Back to Details
First PageDocument Content
Algebra / Type theory / Initial algebra / F-algebra / Von Neumann algebra / Mathematical proof / Algebraic structure / PRO / Mathematics / Functional programming / Category theory
Date: 2013-08-13 06:31:25
Algebra
Type theory
Initial algebra
F-algebra
Von Neumann algebra
Mathematical proof
Algebraic structure
PRO
Mathematics
Functional programming
Category theory

Meta-Theory a` la Carte Benjamin Delaware

Add to Reading List

Source URL: users.ugent.be

Download Document from Source Website

File Size: 219,08 KB

Share Document on Facebook

Similar Documents

Systematic judgment aggregators: An algebraic connection between social and logical structure Daniel Eckert∗ Frederik Herzberg† Version 5: 28 April 2009

DocID: 1uV1n - View Document

Optional homework #5 Devise a rigorous test for orbital invariance easily applicable to algebraic or diagrammatic equations defining an electronic or vibrational structure method (similar to the ones for size consistency

DocID: 1sGsF - View Document

Abstract algebra / Algebra / Lie algebras / Group theory / Lie groups / Algebraic groups / Lie algebra / Cartan subalgebra / Linear algebraic group / Levi decomposition / Reductive group / Representation theory

On the Smoothness of Normalisers, the Subalgebra Structure of Modular Lie Algebras, and the Cohomology of Small Representations Sebastian Herpel and David I. Stewart

DocID: 1rsxQ - View Document

Linguistics / Mathematics / Lexical semantics / Semantics / Artificial neural networks / Natural language processing / Word-sense disambiguation / Word embedding / Word2vec / Sparse approximation / Word-sense induction / Discourse analysis

Linear Algebraic Structure of Word Senses, with Applications to Polysemy arXiv:1601.03764v1 [cs.CL] 14 JanSanjeev Arora

DocID: 1rogM - View Document

Graph theory / Mathematics / Network theory / Networks / Algebraic graph theory / Network analysis / Clustering coefficient / Modularity / Reciprocity / Assortativity / Community structure / Centrality

Network Analysis and Modeling, CSCI 5352 Lecture 5 1 Prof. Aaron Clauset

DocID: 1rnq4 - View Document