Personal Information
Organization / Workplace
San Jose, California
Occupation
Lead Developer
Industry
Technology / Software / Internet
Website
About
organizer of Scala Bay and Bay Area Categories and Types; I also teach Logic at Santa Clara University
Tags
logic
formal methods
computer science
category theory
quantifiers
boolean
languages hierarchy
first order
pi calculus
z notation
monoids
set theory
proof
lambda
conditionals
connectives
santa clara university
intuitionistic
peano
functions
combinators
zfc
fsm
stack machines
algebra
See more
- Presentations
- Documents
- Infographics