Structure -- $ |B = ( {{ tt, ff }}, {{ \neg, /\, \/ }} )$

$|B$


  • $ eval_{|B} : T_{%S_{Bool} -> |B = { or |-> \/, not |-> \neg }$
  • $ eval_{|B} : T_{%S_{Nat} -> |B = { S |-> \neg, mul |-> / plus |-> xor }$
slide: Structure and interpretation