[Alta-Logic] peripatetic graduate seminar

[Jonathan Gallagher]

Speaker: Jonathan Gallagher

Date:                August 16, 2018

Time:               3:00pm – 4:00pm

Location:         ICT 618B

Title: The differential lambda-calculus: syntax and semantics for
differential geometry

Abstract: This talk will introduce semantics for the differential
lambda-calculus using tangent categories.  We will show how
to obtain models of the differential lambda-calculus that stem
from differential geometry.  We will also explore the coherence
required for tangent categories to model the differential lambda-calculus
from different points of view.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180813/c9203150/attachment.html