Open AccessLambda-Z: Zermelo's Set Theory as a PTS with 4 Sorts
Author(s) -
Alexandre Miquel
Publication year - 2006
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - lambda , set theory , set (abstract data type) , computer science , physics , mathematics , combinatorics , programming language , optics