Pages that link to "Item:Q4237906"
From MaRDI portal
The following pages link to Full abstraction, totality and PCF (Q4237906):
Displaying 6 items.
- Operational domain theory and topology of sequential programming languages (Q1013087) (← links)
- Exact real number computations relative to hereditarily total functionals. (Q1607298) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
- Nonflatness and totality (Q4611200) (← links)
- On the ubiquity of certain total type structures (Q5430138) (← links)
