/
Inpreviouswork,weintroducedtheconceptofcontainers([3],[4],and[2])asath Inpreviouswork,weintroducedtheconceptofcontainers([3],[4],and[2])asath

Inpreviouswork,weintroducedtheconceptofcontainers([3],[4],and[2])asath - PDF document

celsa-spraggs
celsa-spraggs . @celsa-spraggs
Follow
377 views
Uploaded On 2016-04-27

Inpreviouswork,weintroducedtheconceptofcontainers([3],[4],and[2])asath - PPT Presentation

SxFinn1SimilarlyonecouldconsidertheNatindexedtypeLamnofterms19813bymeansofthefollowingintroductionrulesiFinn VariLamnfLamnaLamn AppfaLamnbLamn1 AbsbLamnHer ID: 295880

S(x):Fin[n+1]SimilarlyonecouldconsidertheNat-indexedtypeLam(n)of-terms[19 13]bymeansofthefollowingintroductionrules.i:Fin[n] Var(i):Lam[n]f:Lam[n]a:Lam[n] App(f;a):Lam[n]b:Lam[n+1] Abs(b):Lam[n]Her

Share:

Link:

Embed:


Presentation Transcript