Dataset Open Access

Superposition for Lambda-Free Higher-Order Logic — Supplementary Material

Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Waldmann, Uwe


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
33
25
views
downloads
All versions This version
Views 3333
Downloads 2525
Data volume 48.8 MB48.8 MB
Unique views 2121
Unique downloads 44

Share

Cite as