語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
跳至 :
概要
書目資訊
主題
Lambda calculus.
概要
作品:
5 作品在 1 項出版品 1 種語言
書目資訊
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:
(書目-電子資源)
主題
Mathematical Logic and Foundations.
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
History of Computing.
Theory of Computation.
Data structures (Computer science)
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Machine theory.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Abstract data types (Computer science)
Logic Design.
Programming Languages, Compilers, Interpreters.
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.
處理中
...
變更密碼
登入