Personal Information
Unternehmen/Arbeitsplatz
San Jose, California
Beruf
Lead Developer
Branche
Technology / Software / Internet
Webseite
patryshev.com
Info
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
pi calculus
z notation
set theory
lambda
proof
monoids
first order
algebra
stack machines
fsm
zfc
combinators
functions
peano
intuitionistic
conditionals
connectives
santa clara university
Mehr anzeigen
- Präsentationen
- Dokumente
- Infografiken