Author Topic: Teoria typov  (Read 11567 times)

Stalker

  • Jr. Member
  • **
  • Posts: 67
    • View Profile
Re: Teoria typov
« Reply #25 on: 31.01.2011, 00:38:47 »
Ake boli otazky na termine 26.1?
ASOT

timwood

  • Guest
Re: Teoria typov
« Reply #26 on: 31.01.2011, 03:46:18 »
otazky su zvecsa tie iste, ale ak ti to pomoze tak ja som si 26.1. vytiahol tieto:

1. netyp.lambda kalkul, syntax, semantika
2. sucinove typy (binarne)
3. churchove cisla, scc C0 -> ... -> C2