lawvere.bib

@book{enrich,
    author = "G.M. Kelly",
    title = "Basic concepts of enriched category theory",
    journal = "London Mathematical Society Lecture Notes Series",
    volume = "64",
    year = "1982"}
    
@article{lawvere,
    author = "F. William Lawvere",
    title = "Functorial Semantics of Algebraic Theories",
    journal = "Reports of the Midwest Category Seminar II",
    volume = "5",
    year = "2004"}

@article{rosetta,
	author = "John C. Baez and Mike Stay",
	title = "Physics, Topology, Logic, and Computation: A Rosetta Stone",
	journal = "Lecture Notes in Physics",
	volume = "813",
	year = "2011"
}

@article{combs,
	author = "Moses Schonfinkel",
	title = "On the Building Blocks of Mathematical Logic",
	journal = "Gottingen Mathematical Society",
	year = "1924"
}
    
@article{sos,
    author = "Gordon D. Plotkin",
    title = "A Structural Approach to Operational Semantics",
    journal = "Journal of Logic and Algebraic Programming",
    year = "1981"}

@article{lam,
	author = "Peter Selinger",
	title = "Lecture Notes on the Lambda Calculus",
	journal = "https://arxiv.org/abs/0804.3434v2",
	year = "2013"
}
    
@article{finite,
    author = "J. Adamek and J. Rosicky",
    title = "Locally Presentable and Accessible Categories",
    journal = "London Mathematical Society Lecture Notes Series",
    volume = "189",
    year = "1994"}
    
@article{linton,
    author = "F.E.J. Linton",
    title = "Some Aspects of Equational Theories",
    journal = "Proceedings of the Conference on Categorical Algebra",
    year = "1965"}
    
@article{ltam,
    author = "Martin Hyland and John Power",
    title = "The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads",
    journal = "Electronic Notes in Theoretical Computer Science",
    volume = "172",
    year = "2007"}
    
@misc{milew,
    author = "Bartosz Milewski",
    title = "Lawvere Theories",
    howpublished = "https://bartoszmilewski.com/2017/08/26/lawvere-theories/",
    year = "2017"}

@article{power,
    author = "John Power",
    title = "Enriched Lawvere Theories",
    journal = "Theory and Applications of Categories",
    year = "2000"}

@article{maclane,
	author = "Saunders Mac Lane",
	title = "Categories for the Working Mathematician",
	journal = "Graduate Texts in Mathematics",
	year = "1971"}

@article{nlab,
	author = "Urs Schreiber",
	title = "Lawvere Theory",
	 howpublished = "https://ncatlab.org/nlab/show/Lawvere+theory",
	year = "2010"}

@article{ghani,
	author = "Christoph L{\"u}th and Neil Ghani",
	title = "Monads and Modular Term Rewriting",
	journal = "Lecture Notes in Computer Science",
	year = "1997"}

@article{seely,
	author = "R.A.G. Seely",
	title = "Modelling Computations: A 2-Categorical Framework",
	journal = "Symposium on Logic in Computer Science",
	year = "1987"}

@article{ladl,
	author = "Michael Stay and L.G. Meredith",
	title = "Logic as a distributive law",
	journal = "Logic in Computer Science",
	year = "2016"}

@article{rbb,
	author = "Rory B.B. Lucyshyn-Wright",
	title = "Enriched Algebraic Theories and Monads for a System of Arities",
	journal = "Logic in Computer Science",
	year = "2016"}

@book{borceux,
	author = "Francis Borceux",
	title = "Handbook of Cateogorical Algebra",
	journal = "Encyclopedia of Mathematics and its Applications",
	volume = "2",
	year = "1994"}

@article{pseudo,
	author = "Brian Day and Ross Street",
	title = "Monoidal Categories and Hopf Algebroids",
	journal = "Advances in Mathematics",
	volume = "129",
	year = "1997"}