Pages that link to "Item:Q1274450"
From MaRDI portal
The following pages link to From constructivism to computer science (Q1274450):
Displaying 7 items.
- Constructing situations and time (Q543532) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Fundamental ideas and evolution of computer systems (Q1907794) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (Q2986777) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)