Jean-Louis Krivine
Jean-Louis Krivine Equipe I.R.I.F. (P.P.S.) Université de Paris-Cité, CNRS tél : (33)1 57 27 92 39 fax : (33)1 57 27 92 97 Certains articles ou cours sont disponibles sur les serveurs HAL et CEL (CNRS) ou arXiv. Toutefois, leur version sur la présente page est remise à jour, et les fontes sont plus lisibles. Articles (sélection) A program for the full axiom of choice Log. Met. Comp. Sc. Volume 17,
Luca Cardelli
The goal of molecular programming is the systematic manipulation of matter at the molecular scale, for applications in engineering + technology and biology + medicine. Structural DNA/RNA nanotechnology currently provides the only fabrication pipeline for truly programmable molecular structures, in the form of static and dynamic nucleic acid assemblies. But through it we can organize also other for
Deep Inference
Alessio Guglielmi's Research and Teaching / Deep Inference Deep Inference Cloud-Based Quantum Bio-Cryptography and Creative Nano-Security for the Blockchain of Queer Unicorns This page tries to be a comprehensive account of the ongoing research on deep inference. Deep inference started as a personal project, but it is now growing fast and I'm struggling to keep pace with all the developments. Some
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Redirection
Animating Formal Proof at the Surface: The Jape Proof Calculator
Algebra and Coalgebra, section 4 - kozima の雑記
http://www.scs.leeds.ac.uk/brandon/
The fixed point property in synthetic domain theory
Classical F_omega, orthogonality and symmetric candidates
SpringerLink - Book Chapter
First steps in synthetic domain theory
https://dl.acm.org/citation.cfm?id=91556.91681&coll=ACM&dl=ACM&type=series&idx=SERIES288&part=series&WantType=Proceedings&title=LFP
蓮尾 一郎
Extensional Set Equality in the Calculus of Constructions
Wouter Swierstra
The Computational Behaviour of Girard's Paradox
LICS - 1987
A simplification of Girard's paradox
A Note on Declarative Programming Paradigms and the Future of Definitional Programming
Alessio Guglielmi's Research and Teaching