Function

From The Twelf Project
Jump to: navigation, search

A relation behaves like a function if a uniqueness lemma and an effectiveness lemma can be proven assuming a particular set of positions in the relation are inputs.


This page is incomplete. We should expand it.