語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
跳至 :
概要
書目資訊
主題
Lambda calculus.
概要
作品:
6 作品在 2 項出版品 2 種語言
書目資訊
Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
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:
(書目-電子資源)
Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008
by:
(書目-電子資源)
Pattern calculuscomputing with functions and structures /
by:
(書目-電子資源)
Semantics of the probabilistic typed lambda calculusMarkov chain semantics, termination behavior, and denotational semantics /
by:
(書目-電子資源)
Logics and type systems in theory and practiceessays dedicated to Herman Geuvers on the occasion of his 60th birthday /
by:
(書目-電子資源)
主題
Mathematical Logic and Foundations.
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
History of Computing.
Theory of Computation.
Data structures (Computer science)
Computer logic.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Machine theory.
Applications of Mathematics.
Mathematics of Computing.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Mathematical Applications in Computer Science.
Abstract data types (Computer science)
Logic Design.
Programming Languages, Compilers, Interpreters.
Type theory.
Computer Science Logic and Foundations of Programming.
Models and Principles.
Proof theory.
Functional programming (Computer science)
Lambda calculus.
The Computing Profession.
Computer science
Semantic computing.
Computer Science.
Probability and Statistics in Computer Science.
Curry-Howard isomorphism.
The Computer Industry.
處理中
...
變更密碼
登入