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.
removed the author name from the title, to comply with house style for reference-entries
gave this entry the category:reference
-tag
in combination this means that the page will be listed at all pages – references at its proper place in alphabetical order according to its title
step 1 of fixing glitch with Eric Finster, Towards Higher Universal Algebra in Type Theory not redirecting to Towards Higher Universal Algebra in Type Theory
Anonymous
step 2 of fixing glitch with Eric Finster, Towards Higher Universal Algebra in Type Theory not redirecting to Towards Higher Universal Algebra in Type Theory
Anonymous
Thanks. Sorry for the trouble, I didn’t realize that there was a redirecting problem.
1 to 7 of 7