FCT

Identifiers

• name variant FCT 0.60 · backfill

Papers (4)

1. A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm cs.LO · 2018 · author #3
2. Session Types as Generic Process Types cs.PL · 2014 · author #6
3. Quartic Lattice Interactions, Soliton-like Excitations and Electron Pairing in One-Dimensional Anharmonic Crystals cond-mat.str-el · 2011 · author #23
4. An applicative theory for FPH cs.LO · 2011 · author #3

Mentions

• 1109.3992 #23 · backfill · confidence 0.70 FCT
• 1101.5444 #3 · backfill · confidence 0.70 FCT

Frequent Coauthors

• Universidade Nova de Lisboa) 2 shared papers
• 2) 1 shared papers
• (2) Bogolyubov Institute for Theoretical Physics 1 shared papers
• 3) 1 shared papers
• (3) Faculty of Physics 1 shared papers
• 4) 1 shared papers
• (4) CCMAR 1 shared papers
• 5) 1 shared papers
• (5) Institut f\"ur Physik 1 shared papers
• 6) ((1) Instituto Pluridisciplinar 1 shared papers
• (6) Institut f\"ur Physik 1 shared papers
• Ant\'onio Ravara (CITI 1 shared papers
• Ant\'onio Ravara (NOVA LINCS 1 shared papers
• A. P. Chetverikov (1 1 shared papers
• Berlin 1 shared papers
• Campus de Gambelas 1 shared papers
• Chernyshevsky State University 1 shared papers
• Dep de Inform\'atica 1 shared papers
• Dep of Informatics 1 shared papers
• DM 1 shared papers