Pages that link to "Item:Q896904"
From MaRDI portal
The following pages link to Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904):
Displaying 1 item.
The following pages link to Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904):
Displaying 1 item.