add-memberalign-toparrow-leftarrow-rightbellblockcalendarcamerachatchevron-leftchevron-rightchevron-small-downchevron-upcircle-with-crosscomposecrossfacebookflagfolderglobegoogleimagesinstagramkeylocation-pinmedalmoremuplabelShape 3 + Rectangle 1pagepersonpluspollsImported LayersImported LayersImported LayersshieldstartwitterwinbackClosewinbackCompletewinbackDiscountyahoo

Valeria De P.



Cupertino, CA
Hometown: Cupertino

Member since:

September 4, 2012

How familiar are you with category theory?

Very familiar.

How familiar are you with type theory?

Fairly familiar.

How's your functional programming level?

Not so high, I can read functional programs.


I did categorical models of linear logic (Dialectica categories) for my phd thesis. I work in the intersection between category theory, type theory and logic.

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy