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": []
}
56
30
views
downloads
All versions This version
Views 5656
Downloads 3030
Data volume 65.6 MB65.6 MB
Unique views 4343
Unique downloads 99

Share

Cite as