slides - Kwarc
slides - Kwarc
slides - Kwarc
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Statement and Object Level<br />
◮ Constant c with type τ and definition δ: c := δ : τ<br />
◮ Terms τ, δ: constants, variables, application, binding,<br />
attribution, morphism application<br />
atomic object composed object type checked relative to<br />
constant term term home theory<br />
42