addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1linklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Valeria De P.

Co-Organizer

Location:

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.

Introduction

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.


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