Title	Differential programming, probably
Creator	Gallagher, Jonathan
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2021-06-17T09:01
Description	Differential and tangent categories have been applied to providing the semantics of differential programming languages. As interest in differential programming langauges continues to grow due to applications in machine learning, many differential programming languages are being extended with features for probabilistic programming and in some cases quantum programming. In this talk, we will investigate structures on top of differential and tangent categories that allow modelling probabilistically extended programming languages. To do this, we will develop some of the basics of functional analysis and distribution theory in the context of differential categories. We will also develop different approaches to encoding probabilistic computations in a differential language.
Extent	55.0 minutes
Subject	Mathematics; Category Theory; Homological Algebra; Algebraic Topology; Algebraic Structures
Type	Moving Image
File Format	video/mp4
Language	eng
Notes	Author affiliation: Dalhousie University
Series	BIRS Workshop Lecture Videos (Banff, Alta)
Date Available	2023-10-28
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivatives 4.0 International
DOI	10.14288/1.0437394
URI	http://hdl.handle.net/2429/86370
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Postdoctoral
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
Aggregated Source Repository	DSpace

Open Collections

BIRS Workshop Lecture Videos

Differential programming, probably Gallagher, Jonathan

Description

Item Metadata

Item Media

Item Citations and Data

Rights