Login / Signup

A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine.

Paul-André MellièsNoam Zeilberger
Published in: LICS (2016)
Keyphrases