Pages that link to "Item:Q276420"
From MaRDI portal
The following pages link to A domain-theoretic model of nominally-typed object-oriented programming (Q276420):
Displaying 7 items.
- A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
- A domain model characterising strong normalisation (Q958484) (← links)
- (Q4213885) (← links)
- (Q4301602) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)
- (Q4855345) (← links)
- A topology on lattice-ordered groups (Q5225407) (← links)