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.
Retrieved from "http://twelf.plparty.org/wiki/Function"
Personal tools