Back to Results
First PageMeta Content
Categorical logic / Theoretical computer science / Topos / William Lawvere / Mathematical constructivism / Sheaf / Mathematical logic / Alexander Grothendieck / Set theory / Mathematics / Category theory / Abstract algebra


Document Date: 2012-09-08 09:36:38

Open Document

Share Result on Facebook

City

Paris / /

Company

Deductive Systems / /

Country

United States / Columbia / /

IndustryTerm

logical law / empty product / description operator / /

Organization

National Academy of Sciences / /

Person

Johnstone / Jean Bénabou / J. Giraud / G. C. Wraith / Robert Solovay / John L. Bell / Fourman / Barr / Myles Tierney / William Mitchell / C. J. Mikkelsen / A. Kock / F. William Lawvere / J. Lambek / Wells / Martin-Löf / André Joyal / W. Mitchell / Dana Scott / J. Celeyrette / See Freyd / /

Position

Boolean-valued model / /

PublishedMedium

the Proceedings of the National Academy of Sciences / /

SocialTag