Personnaliser

OK
Category Theory And Computer Science Format Broché

Category Theory and Computer Science -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

83,97 €

Produit Neuf

  • Ou 20,99 € /mois

    • En savoir plus
    • Livraison : 25,00 €
    • Livré entre le 15 et le 20 mai
    Voir les modes de livraison

    Kelindo

    PRO Vendeur favori

    4,8/5 sur + de 1 000 ventes

    Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

    Publicité
     
    Vous avez choisi le retrait chez le vendeur à
    • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
    • Récupérez le produit directement chez le vendeur
    • Rakuten vous rembourse en cas de problème
    Terminer ma commande

    Gratuit et sans engagement

    Félicitations !

    Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

    En savoir plus

    TROUVER UN MAGASIN

      Retour

      Horaires

          Note :


          Avis sur Category Theory And Computer Science Format Broché  - Livre

          Note : 0 0 avis sur Category Theory And Computer Science Format Broché  - Livre

          Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


          Présentation Category Theory And Computer Science Format Broché

           - Livre

          Livre - 01/08/1989 - Broché - Langue : Anglais

          . .

        • Editeur : Springer-Verlag Gmbh
        • Langue : Anglais
        • Parution : 01/08/1989
        • Format : Moyen, de 350g à 1kg
        • Nombre de pages : 376
        • Expédition : 672
        • Dimensions : 24.1 x 16.5 x 21.0
        • ISBN : 354051662X



          • Sommaire:
          Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective.- An algebraic view of interleaving and distributed operational semantics for CCS.- Temporal structures.- Compositional relational semantics for indeterminate dataflow networks.- Operations on records.- Projections for polymorphic strictness analysis.- A category-theoretic account of program modules.- A note on categorical datatypes.- A set constructor for inductive sets in Martin-L?f's type theory.- Independence results for calculi of dependent types.- Quantitative domains, groupoids and linear logic.- Graded multicategories of polynomial-time realizers.- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa.- Dictoses.- Declarative continuations: An investigation of duality in programming language semantics.- Logic representation in LF.- Unification properties of commutative theories: A categorical treatment.- An abstract formulation for rewrite systems.- From petri nets to linear logic.- A dialectica-like model of linear logic.- A final coalgebra theorem....