Robin Cockett

Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and mathematics. Past workshopss have been held at BIRS, Colgate University, Dalhousie University, Mount Allison...

Foundational Methods in Computer Science is an annual workshop that brings togeher researchers in theoretical computer science and mathematics. Past workshop have been held at Colgate University, Dalhousie University, Mount Allison University...

The aim of this talk about work in progress is to describe the local/separable factorization for restriction functors and for join restriction functors.

Michael Drazin introduced the idea of a “pseudoinverse” for rings and semigroups in 1961. These inverses categorically are rather special as (like ordinary inverses) they are preserved by all functors when they exist. A category is Drazin when all...

Moses Schonfinkel invented “combinatory logic” — aka combinatory algebra (CA ) — in 1920. It consisted of a binary operation and two constants S and K (called combinators by Haskell Curry who further investigated CAs in the 1950s) which satisfy just...

Please note that the workshop is an extension of the workshop of the same name taking place at BIRS on June 22-24, 2012. The Calgary Workshop will be based in part on what transpires in Banff, with some participants to present further details on...