Exercises for the second day

33 views

Skip to first unread message

unread,

Jun 7, 2007, 8:52:34 AM6/7/07

to Chalmers course on Semantics in Calculus of Constructions

Prove the associativity of sequences, this time using denotational
semantics.

Example ex4 :
forall r i1 i2 i3, ds (sequence i1 (sequence i2 i3)) r =
ds (sequence (sequence i1 i2) i3) r.

Then use this result to redo ex2 from the first day.

You can also use denotational semantics to redo ex3

Reply all

Reply to author

Forward

0 new messages