Pages that link to "Item:Q1902697"
From MaRDI portal
The following pages link to Types for proofs and programs. International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994. Selected papers (Q1902697):
Displayed 6 items.
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Coalgebraic logic (Q1295427) (← links)
- (Co)inductive proof systems for compositional proofs in reachability logic (Q1996855) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- A PVS Theory for Term Rewriting Systems (Q5178962) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)