國立高雄大學圖資館 |

Language: English

Help

圖資館首頁

Refine search

Associated Subjects

Search result for [ subject:"Lambda calculus."]

6 records (0.02s)· Page 1 of 1 • 1

1.

Fifth Ifip International Conference ...

~
Ausiello, Giorgio.
- Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008
- by: Ausiello, Giorgio.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer Science+Business Media, LLC,
- Place of Publication: Boston, MA :
- Year of Publication: 2008
- ISBN: 9780387096797; 9780387096803
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Semantics of the probabilistic typed...

~
Draheim, Dirk.
- Semantics of the probabilistic typed lambda calculusMarkov chain semantics, termination behavior, and denotational semantics /
- by: Draheim, Dirk.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Berlin Heidelberg :
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2017
- ISBN: 9783642551970; 9783642551987
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Pattern calculuscomputing with funct...

~
Jay, Barry.
- Pattern calculuscomputing with functions and structures /
- by: Jay, Barry.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2009
- ISBN: 9783540891840; 9783540891857
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

Processes, Terms and Cycles: Steps o...

~
Middeldorp, Aart.
- Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
- by: Middeldorp, Aart.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540309116; 9783540324256
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- Logics and type systems in theory and practiceessays dedicated to Herman Geuvers on the occasion of his 60th birthday /
- by: Capretta, Venanzio.; Geuvers, Herman, (1964-); Krebbers, Robbert.; SpringerLink (Online service); Wiedijk, Freek.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2024
- ISBN: 9783031617157; 9783031617164
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Adapting Proofs-as-ProgramsThe Curry...

~
Crossley, John Newsome.
- Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
- by: Crossley, John Newsome.; Poernomo, Iman Hafiz.; SpringerLink (Online service); Wirsing, Martin.
- Electronic resources : Monograph/item
- Publisher: Springer Science+Business Media Inc.,
- Place of Publication: New York, NY :
- Year of Publication: 2005
- ISBN: 9780387237596; 9780387281834
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Save to Personal SDI

Export

pickup library

Bibliographic level:
Material type:
Only with items