Pages that link to "Item:Q4261313"
From MaRDI portal
The following pages link to A specification logic for concurrent object-oriented programming (Q4261313):
Displaying 9 items.
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Proof-search and proof nets in mixed linear logic (Q2703720) (← links)
- (Q3700805) (← links)
- (Q4251120) (← links)
- (Q4494254) (← links)
- (Q4496249) (← links)
- (Q4941937) (← links)
- Proofs as computations in linear logic (Q5941199) (← links)