Lambda calculus
- Broader concepts
- Mathematical logic
- Source notes
- Viquipèdia, consulta feta el 19 de febrer, 2015 (Càlcul lambda)
- Autoridades CSIC, consulta feta el 19 de febrer, 2015 (punt d'accés: Cálculo lambda)
- LCSH, consulta feta el 19 de febrer, 2015 (punt d'accés: Lambda calculus))
- RAMEAU, consulta feta el 19 de febrer, 2015 (punt d'accés: Lambda-calcul)
- Thesaurus
- Subjects
- Microthesaurus
- Mathematics
- Equivalent concepts in other schemes
- Lambda calculus [LCSH]
- Lambda-calcul [RAMEAU]
- Permalink
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058507119806706
- Format MARC21
-
- LEADER 01001cz a2200253n 4500 001 981058507119806706 005 20210802122736.0 008 020208|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 51$2thub 150 $aCàlcul lambda 550 $wg$aLògica matemàtica 670 $aViquipèdia, consulta feta el 19 de febrer, 2015$b(Càlcul lambda) 670 $aAutoridades CSIC, consulta feta el 19 de febrer, 2015$b(punt d'accés: Cálculo lambda) 670 $aLCSH, consulta feta el 19 de febrer, 2015$b(punt d'accés: Lambda calculus)) 670 $aRAMEAU, consulta feta el 19 de febrer, 2015$b(punt d'accés: Lambda-calcul) 675 $aLEMAC;$aTERMCAT, cerca feta el 19 de febrer, 2015 750 7$aCálculo lambda$2thub//spa 750 7$aLambda calculus$2thub//eng 750 7$aLambda-calcul$2thub//fre 996 $a.a11919450$b12-02-21$c04-06-08$d-$ed$f- 909 $a11$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 035 $a(ES-BaUB).a11919450
- Preferred term in other languages
- CatalàCàlcul lambda
- EspañolCálculo lambda
- FrançaisLambda-calcul
- Last updated dated
- 17/11/2024