Tag: Morten Heine Sørensen M.Sc Ph.D

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149) 1st Edition by Morten Heine Sørensen M.Sc...

Science
  Ebook Info Published: 2006 Number of pages: 456 pages Format: PDF File Size: 34.09 MB Authors: Morten...
Read more

Advertisement

spot_img