Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
40
views
0
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,250
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Logical Frameworks
edited_book
Editor(s):
Gerard Huet
,
G. Plotkin
Publication date
(Online):
August 04 2010
Publisher:
Cambridge University Press
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Open source discrete and agent-based modeling frameworks for biology
Author and book information
Book
ISBN (Print):
9780521413008
ISBN (Electronic):
9780511569807
Publication date (Online):
August 04 2010
Publication date (Print):
September 26 1991
DOI:
10.1017/CBO9780511569807
SO-VID:
7edc80cb-b47a-4581-bbee-c516d912c3cb
License:
https://www.cambridge.org/core/terms
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 40
A plea for weaker frameworks
pp. 89
The Boyer-Moore prover and Nuprl: an experimental comparison
pp. 120
Goal directed proof construction in type theory
pp. 149
Logic programming in the LF logical framework
pp. 185
Operational semantics in a natural deduction setting
pp. 215
Encoding dependent types in an intuitionistic logic
pp. 255
An algorithm for testing conversion in type theory
pp. 280
Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics
pp. 309
Proof-search in the λΠ-calculus
pp. 341
Finding computational content in classical proofs
pp. 385
Structural frameworks, substructural logics, and the role of elimination inferences
Similar content
1,250
Fuzzy logic and particle swarm optimization-based clustering protocol in wireless sensor network
Authors:
Piyush Rawat
,
Pranjal Kumar
,
Siddhartha Chauhan
Description Logics with Fuzzy Concrete Domains
Authors:
Umberto Straccia
The Logic of Violence in Civil War
Authors:
Stathis N. Kalyvas
See all similar
Cited by
1
A natural deduction approach to dynamic logic
Authors:
Furio Honsell
,
Marino Miculan
See all cited by