TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 28TH 2022. (TYPES 2022)

TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 28TH 2022. (TYPES 2022)

Item #:
071388
Our Price: $110.00
Adding to cart… The item has been added

Details

  • Title: 28th International Conference on Types for Proofs and Programs (TYPES 2022)
  • Date/Location: Held 20-25 June 2022, Nantes, France.
  • Series: Leibniz International Proceedings in Informatics Volume 269
  • Editor: Kesner, D. and Pedrot, P.-M.
  • ISBN: 9781713881421
  • Pages: 342 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Dec 2023 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 28th International Conference on Types for Proofs and Programs (TYPES 2022)
  • Date/Location: Held 20-25 June 2022, Nantes, France.
  • Series: Leibniz International Proceedings in Informatics Volume 269
  • Editor: Kesner, D. and Pedrot, P.-M.
  • ISBN: 9781713881421
  • Pages: 342 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Dec 2023 )