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": []
}
102
88
views
downloads
All versions This version
Views 102102
Downloads 8888
Data volume 138.7 MB138.7 MB
Unique views 8181
Unique downloads 4242

Share

Cite as