Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

Tag classical_logic [3 articles] Export Sort

Recent papers classified by the tag classical_logic.

Hide details

	Computation with classical sequents [My Copy] In Mathematical Structures of Computer Science (2008) by Pierre Lescanne, École Normale, Supérieure Lyon posted to sequent_calculus classical_logic by joker13 on 2009-10-07 14:21:47 as
	Call-by-value is dual to call-by-name [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 189-201. by Philip Wadler posted to sequent_calculus dual-calculus dual classical_logic call-by-value call-by-name by joker13 on 2009-10-06 22:29:03 as along with 3 people and 1 group robennals msakai mcclurmc Lambda the Ultimate
	Proof-theoretical Coherence (Studies in Logic S.) [My Copy] (31 December 2004) by Kosta Dosen, Zoran Petric posted to classical_logic coherence by jonjonc on 2005-09-12 11:28:30 as along with 1 person greg_restall

Note: You may cite this page as: http://www.citeulike.org/tag/classical_logic

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

sequent_calculus	2
call-by-name	1
call-by-value	1
coherence	1
dual	1
dual-calculus	1

Tag classical_logic [3 articles] Export Sort

Related Tags