語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Lambda calculus.
概要
作品:
7 作品在 1 項出版品 1 種語言
書目資訊
Language in action : = categories, lambdas, and dynamic logic /
by:
(書目-語言資料,印刷品)
Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
(書目-語言資料,印刷品)
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
by:
(書目-語言資料,印刷品)
Abstract Computing Machines = A Lambda Calculus Perspective /
by:
(書目-語言資料,印刷品)
Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008
by:
(書目-語言資料,印刷品)
Lambda calculus with types /
by:
(書目-語言資料,印刷品)
Semantics of the probabilistic typed lambda calculus = Markov chain semantics, termination behavior, and denotational semantics /
by:
(書目-電子資源)
主題
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
History of Computing.
Theory of Computation.
Categorial grammar.
Logic, Symbolic and mathematical.
Machine theory.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Abstract data types (Computer science)
Logic Design.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Lambda calculus.
Mathematical linguistics.
Functional programming (Computer science)
Proof theory.
The Computing Profession.
Computer science- Mathematics.
Semantic computing.
Computer Science.
Probability and Statistics in Computer Science.
Language and logic.
Curry-Howard isomorphism.
The Computer Industry.
處理中
...
變更密碼
登入