LEADER 00951nam0-2200325---450- 001 990010034110403321 005 20160129113306.0 010 $a978-88-598-0922-7 035 $a001003411 035 $aFED01001003411 035 $a(Aleph)001003411FED01 035 $a001003411 100 $a20160129d----2013km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aArbitrato. Profili di diritto sostanziale e di diritto processuale$fa cura di Guido Alpa e Vincenzo Vigoriti 210 $aMilano$cUTET giuridica$d2013 215 $aXXXII, 1518 p.$d24 cm 225 1 $aNuova giurisprudenza di diritto civile e commerciale 610 0 $aArbitrato$aDiritto processuale civile 676 $a347.4509 702 1$aAlpa,$bGuido 702 1$aVigoriti,$bVincenzo 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990010034110403321 952 $aEE-325$fDDRC 959 $aDDRC 997 $aUNINA LEADER 01141nas 2200361- 450 001 996321444903316 005 20230125213019.0 011 $a2317-773X 035 $a(DE-599)ZDB2743484-9 035 $a(OCoLC)1134791705 035 $a(CKB)4100000009840042 035 $a(CONSER)--2021240722 035 $a(EXLCZ)994100000009840042 100 $a20191209a20139999 s-- b 101 0 $apor 135 $aur|n||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aEstudos internacionais 210 1$aBelo Horizonte, MG , Brasil :$cEditora PUC Minas,$d2013- 215 $a1 online resource 517 3 $aEI 606 $aInternational relations$vPeriodicals 606 $aInternational relations$2fast$3(OCoLC)fst00977053 608 $aPeriodicals.$2fast 615 0$aInternational relations 615 7$aInternational relations. 712 02$aPontifícia Universidade Católica de Minas Gerais.$bPrograma de Pós-Graduação Relações Internacionais, 906 $aJOURNAL 912 $a996321444903316 996 $aEstudos internacionais$92070729 997 $aUNISA LEADER 02891nam 22006495 450 001 9910485025603321 005 20251226195600.0 010 $a3-642-40447-2 024 7 $a10.1007/978-3-642-40447-4 035 $a(CKB)3710000000015924 035 $a(SSID)ssj0000988313 035 $a(PQKBManifestationID)11515423 035 $a(PQKBTitleCode)TC0000988313 035 $a(PQKBWorkID)10950083 035 $a(PQKB)11775578 035 $a(DE-He213)978-3-642-40447-4 035 $a(MiAaPQ)EBC3093004 035 $a(PPN)172429471 035 $a(EXLCZ)993710000000015924 100 $a20130806d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTrends in Functional Programming $e13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers /$fedited by Hans Wolfgang Loidl, Ricardo Peña 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 311 p. 110 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7829 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-40446-4 327 $aVarious aspects of trends in functional programming -- Combining deep and shallow embedding for EDSL -- The Blame theorem for a linear lambda calculus with type dynamic -- Higher-order size checking without subtyping. 330 $aThis book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7829 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aMachine theory 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aFormal Languages and Automata Theory 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aMachine theory. 615 14$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aFormal Languages and Automata Theory. 676 $a005.114 702 $aLoidl$b Hans Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPeña$b Ricardo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910485025603321 996 $aTrends in Functional Programming$91947569 997 $aUNINA