Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
If anybody would like to add some bibs but can’t be bothered just drop the reference here and I will look into it.
I am making some purely formatting changes. The list of references is now an enumerated list. Separating out the BibTeX database from this page. Gave a link to Mike Shulman’s nForum message mentioning Streicher’s book as a primary reference. Didn’t find much information at target of the ACM link, but left it since it was already there. Added MR link.
You can get rid of the ACM link, I only put it there because that’s where I got the bibtex from.
Added a few more references.
I am going to suggest some references and we can add them if you please:
We should also add practical foundations of programing languages too.
Feel free to add references that you think are helpful, but I think we should separate the references that are “just in case it’s helpful to read them” for participants from those that we would actually cite if and when this project is written up to be published.
Also perhaps in the former category is my unfinished categorical logic notes.
1 to 8 of 8