meeting report

[Vlad Patryshev]

We had a meeting on 9/28 in Google (Crittenden); Valeria de Paiva was giving a talk on applying her Dialectica constructs for hierarchical compilers (my interpretation), and how we can have intuitionistic linear logic involved, and more, how there can be a comonad built from dialectica category turning this logic into... wait, plain intuitionistic? In cartesian-closed category.

10 attendants, Mike Stay was the host.

It was a pretty informative and inspiring meeting, and we plan to dedicate more meetings to dialectica, linear logic,  and related areas.

Thanks,
-Vlad

[Aaron Culich]

Are there any slides available?

--
You received this message because you are subscribed to the Google Groups "Bay Area Categories And Types" group.
To post to this group, send email to ba...@googlegroups.com.
To unsubscribe from this group, send email to bacat+un...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/bacat?hl=en.

[Valeria de Paiva]

hi Aaron,
the slides have a typo (repeated twice) that needs correcting. you can
have slides with typo now, or you can wait for corrections, hopefully
soon.
best,
valeria

--
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/

[Aaron Culich]

I can wait for the slides with corrections. Thanks! :)

-Aaron

[Arthur Chan]

I want the slides with corrections too! :)

Arthur :: LittleBrick

[Steven Ganz]

Valeria,

If possible, send them to the list (otherwise, send to me also).

Steve

---

From: "Arthur Chan" <lambdas...@gmail.com>
To: ba...@googlegroups.com
Cc: ba...@googlegroups.com
Sent: Friday, September 30, 2011 8:31:27 AM
Subject: Re: meeting report

[Valeria de Paiva]

hi all,
The pdf of the slides is attached, hopefully the typo has been
corrected, let me know if somewhere things don't typecheck... :)

Thanks for a great discussion,
Valeria
ps Vlad, still looking for the latex source for drawing dialectica
maps, hope to send it soon...

[Arthur Chan]

Thanks Valeria!

Arthur :: LittleBrick

> <PartialCompilers.pdf>