Search alternatives:
"programming language" » "programming languages", "program language"
"programs language" » "program language", "process language", "gram language"
Cover Image
Read Now

1
by Granström, Johan Georg
Published 2011
Springer Netherlands
“... and a programming language.  This book expounds several aspects of intuitionistic type theory...”