Lectures on the Curry-Howard Isomorphism (Volume 149) Book Discussion

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
by

Morten Heine B. Sørensen

Topics About This Book Topics That Mention This Book

There are no discussion topics on this book yet. Be the first to start one »

see all book discussions »
post a new topic »