Lecture Notes in Computer Science - Mathematics of Program Construction
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 16)

H-INDEX

2
(FIVE YEARS 2)

Published By Springer International Publishing

9783030336356, 9783030336363
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Cylindric Kleene Lattices for Program Construction

2019 ◽  
pp. 197-225 ◽  
Author(s):  
Brijesh Dongol ◽  
Ian Hayes ◽  
Larissa Meinicke ◽  
Georg Struth
Keyword(s):  
Program Construction

scholarly journals Setoid Type Theory—A Syntactic Translation

2019 ◽  
pp. 155-196
Author(s):  
Thorsten Altenkirch ◽  
Simon Boulier ◽  
Ambrus Kaposi ◽  
Nicolas Tabareau
Keyword(s):  
Type Theory

scholarly journals System F in Agda, for Fun and Profit

2019 ◽  
pp. 255-297 ◽  
Author(s):  
James Chapman ◽  
Roman Kireev ◽  
Chad Nester ◽  
Philip Wadler
Keyword(s):  
System F
Load More ...
Sign in / Sign up

Export Citation Format

Share Document