Nuprl Definition : lapp_imon

<List,@> ==  <List, λx,y. tt, λx,y. tt, λx,y. (x y), [], λx.x>



Definitions occuring in Statement :  append: as bs nil: [] list: List btrue: tt lambda: λx.A[x] pair: <a, b>
Definitions occuring in definition :  list: List btrue: tt append: as bs pair: <a, b> nil: [] lambda: λx.A[x]

Latex:
<T  List,@>  ==    <T  List,  \mlambda{}x,y.  tt,  \mlambda{}x,y.  tt,  \mlambda{}x,y.  (x  @  y),  [],  \mlambda{}x.x>



Date html generated: 2016_05_16-AM-07_37_43
Last ObjectModification: 2015_09_23-AM-09_51_33

Theory : list_2


Home Index